Skip to main content

VDM '90‚ VDM and Z − Formal Methods in Software Development‚ Third International Symposium of VDM Europe‚ Kiel‚ FRG‚ April 17−21‚ 1990‚ Proceedings

Book Title
VDM Europe
Editor
Dines Bjørner and C. A. R. Hoare and Hans Langmaack
ISBN
3−540−52513−0
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
428
Year
1990