Using VDM with rely and guaranteeconditions. Experiences from a real project (1988)

by J C P Woodcock, B Dickinson
Venue:In Proc. 2nd VDM-Europe Symposium, Lecture Notes in Computer Science 328