Proceedings of the 2005 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2005, Atlanta, GA, USA, November 13-17, 2005

John W. McCormick Leemon C. Baird III Proceedings of the 2005 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2005, Atlanta, GA, USA, November 13-17, 2005 SIGAda ACM 2005 1-59593-185-6 https://doi.org/10.1145/1103846 db/conf/sigada/sigada2005.html