ISSE

Search

Reuse of Proofs in Software Verification

W. Reif and K. Stenzel

Reuse of Proofs in Software Verification

published 1996 SADHANA: Academy Proceedings in Engineering Sciences, 21(2)