VDM '87. VDM - A Formal Method at Work1987

VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings (Lecture Notes in Computer Science)

by Cliff Jones