G. B. Clemmensen, Ole N. Oest. Formal Specification and Development of an Ada Compiler - A VDM Case Study. In ICSE. pages 430-440, 1984.
@inproceedings{ClemmensenO84, title = {Formal Specification and Development of an Ada Compiler - A VDM Case Study}, author = {G. B. Clemmensen and Ole N. Oest}, year = {1984}, tags = {case study, compiler}, researchr = {https://researchr.org/publication/ClemmensenO84}, cites = {0}, citedby = {0}, pages = {430-440}, booktitle = {ICSE}, }