Michael Tonndorf. An Efficient Compiler Validation Method for Ada 9X. In Michel Gauthier, editor, Ada-Europe 93, 12th Ada-Europe International Conference, Ada Sans Frontières, Paris, France, June 14-18, 1993, Proceedings. Volume 688 of Lecture Notes in Computer Science, pages 95-107, Springer, 1993.
@inproceedings{Tonndorf93,
title = {An Efficient Compiler Validation Method for Ada 9X},
author = {Michael Tonndorf},
year = {1993},
tags = {compiler},
researchr = {https://researchr.org/publication/Tonndorf93},
cites = {0},
citedby = {0},
pages = {95-107},
booktitle = {Ada-Europe 93, 12th Ada-Europe International Conference, Ada Sans Frontières, Paris, France, June 14-18, 1993, Proceedings},
editor = {Michel Gauthier},
volume = {688},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-56802-6},
}