Invariants, Frames and Postconditions: a Comparison of the VDM and B Notations.

Juan Bicarregui, Brian Ritchie

Browse the full FM paper archive.