Tracing the origins of verification conditions (1996)

by R FRAER
Venue:In Proceedings of the AMAST ’96 Conferenence (AMAST’96