Logic and Specification: Extending VDM-SL for advanced formal specification (1993)

by Cornelius A Middelburg
Venue:MP92] [MV94] [PJ91] [PT91] [Sta86] Zohar Manna and Amir