G. B. Clemmensen, Ole N. Oest
Formal Specification and Development of an Ada Compiler — A VDM Case Study
ICSE, 1984.
@inproceedings{ICSE-1984-ClemmensenO,
acmid = "802002",
author = "G. B. Clemmensen and Ole N. Oest",
booktitle = "{Proceedings of the Seventh International Conference on Software Engineering}",
editor = "Terry A. Straeter and William E. Howden and Jean-Claude Rault",
isbn = "0-8186-0528-6",
pages = "430--440",
publisher = "{IEEE Computer Society}",
title = "{Formal Specification and Development of an Ada Compiler — A VDM Case Study}",
year = 1984,
}