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]
Abstract is missing.