VDM in Three Generations of Ada Formal Descriptions (1987)

by J Storbank Pedersen
Venue:In VDM87, VDM - A Formal Method at Work