A VDM Subset Compiler
Authors:
Christoph Blaue
Affiliations:
-
Venue:
VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume I: Conference Contributions - Volume I
Year:
1991
Citing
0
Cited
1
An overview of the ISO/VDM-SL standard
ACM SIGPLAN Notices
Quantified Score
Hi-index
0.00
Visualization
Abstract