Verification Conditions as Programs

Maarten H. van Emden. Verification Conditions as Programs. In ICALP. pages 99-119, 1976.

No reviews for this publication, yet.