ISSE

Search

Verification of Large Software Systems

W. Reif

Verification of Large Software Systems

published 1992 R. Shyamasundar, editor, Foundations of Software Technology and Theoretical Computer Science. Proceedings

Publisher: Springer LNCS 652