Two Approaches towards the Formalisation of VDM

• Authors:

• Christine Lafontaine;Yves Ledru;Pierre-Yves Schobbens

• Affiliations:

• -;-;-

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