Dines Bjørner, Cliff Jones, Michael Mac An Airchinnigh, Erich J. Neuhold

VDM '87. VDM - A Formal Method at Work - 1987 - Springer Berlin Heidelberg 1987 - Lecture Notes in Computer Science .

9783540477402


Computer Science