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

Juan Bicarregui, Brian Ritchie (1993)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics