Programming with Verification Conditions

Maarten H. van Emden. Programming with Verification Conditions. IEEE Trans. Software Eng., 5(2):148-159, 1979.

No reviews for this publication, yet.