Using VDM with rely and guaranteeconditions: Experiences of a real project (1988)

by J C P Woodcock, B Dickinson
Venue:In [BJM88