ISSE

Search

Reuse of Proofs in Software Verification

W. Reif and K. Stenzel

Reuse of Proofs in Software Verification

published 1995 in: Montreal, Quebec J. Köhler, editor, Workshop on Formal Approaches to the Reuse of Plans, Proofs, and Programs