Proceedings of the Third International Symposium of VDM Europe on VDM and Z - Formal Methods in Software Development

• Authors:

• Dines Bjørner;C. A. R. Hoare;Hans Langmaack

• Affiliations:

• -;-;-

• Venue:
• VDM '90 Proceedings of the Third International Symposium of VDM Europe on VDM and Z - Formal Methods in Software Development
• Year:
• 1990