Experience with VDM in Norsk Data (1987)

by Uwe Schmidt, Reinhard Völler
Venue:In VDM’87. VDM—A Formal Method at Work. Springer-Verlag (LNCS 252