Towards the Semantics of the Definitional Language of MetaSoft

• Authors:

• Marek A. Bednarczyk;Andrzej M. Borzyszkowski;Wieslaw Pawlowski

• Affiliations:

• -;-;-

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