ISSE

Search

Reuse of Proofs in Software Verification

W. Reif and K. Stenzel

Reuse of Proofs in Software Verification

published 1993 in: Berlin R. Shyamasundar, editor, Foundation of Software Technology and Theoretical Computer Science. Proceedings, Bombay, India, pages 284-293

Publisher: Springer LNCS 761


Downloads: