Programming with Verification Conditions

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

Abstract

Abstract is missing.