Peter E. Obermayer, Joachim Schröer, R. A. Peek, N. Collienne, Achilles Klimek, Rudolf Landwehr. Verification of the application of coding rules for Ada to enhance portability of real-time applications. In Stowe Boyd, editor, Proceedings of the Eleventh Annual Washington Ada Symposium & summer ACM SIGAda Meeting on Ada, WADAS 1994, McLean, Virginia, USA, 1994. pages 92-96, ACM, 1994. [doi]
@inproceedings{ObermayerSPCKL94,
title = {Verification of the application of coding rules for Ada to enhance portability of real-time applications},
author = {Peter E. Obermayer and Joachim Schröer and R. A. Peek and N. Collienne and Achilles Klimek and Rudolf Landwehr},
year = {1994},
doi = {10.1145/197978.197987},
url = {https://doi.org/10.1145/197978.197987},
researchr = {https://researchr.org/publication/ObermayerSPCKL94},
cites = {0},
citedby = {0},
pages = {92-96},
booktitle = {Proceedings of the Eleventh Annual Washington Ada Symposium & summer ACM SIGAda Meeting on Ada, WADAS 1994, McLean, Virginia, USA, 1994},
editor = {Stowe Boyd},
publisher = {ACM},
isbn = {978-0-89791-684-4},
}