Ada 2005 & high integrity systems

Robert Dewar. Ada 2005 & high integrity systems. In Greg Gicca, Ricky E. Sward, Leemon C. Baird III, editors, Proceedings of the 2006 Annual ACM SIGAda International Conference on Ada, Albuquerque, New Mexico, USA, November 12-16, 2006. pages 43, ACM, 2006. [doi]

Abstract

Abstract is missing.