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

• Authors:

• D. Bjorner;H. Langmaack;J. Hartmanis;G. Goos;C. A. Hoare

• Affiliations:

• -;-;-;-;-

• Venue:
• VDM '90 VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe Kiel, FRG, April 17-21, 1990 Proceedings
• Year:
• 1990