Towards a Meaning of 'M' in VDM: Specification Methodology Aspects of the Vienna Development Method (Invited Tutorial)
Authors:
Dines Bjørner
Affiliations:
-
Venue:
TAPSOFT '89 Proceedings of the International Joint Conference on Theory and Practice of Software Development, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages