Conformity clause for VDM-SL

Lecture Notes in Computer Science - FME '93: Industrial-Strength Formal Methods ◽

10.1007/bfb0024664 ◽

2005 ◽

pp. 501-520

Author(s):

Graeme I. Parkin ◽

Brian Wichmann

Download Full-text