Proceedings

• John W. McCormick, Leemon C. Baird III, editors, 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. ACM, 2005.