VDM '90. VDM and Z - Formal Methods in Software Development

Author
D. Bjørner, C. A. R. Hoare, H. Langmaack
Publisher
Springer
Subject
Computer Science
Year
1990
Vol/Edition
428
ISBN
9783540470069