Experience with VDM on Norsk Data (1987)

by U Schmidt, R Voller
Venue:in Lecture Notes in Computer Science 252: VDM'87, VDM-A Formal Method at