Benjamin M. Brosgol. MP1: languages for safety-critical software: issues and assessment. In Michael B. Feldman, Leemon C. Baird III, editors, Proceedings of the 2008 Annual ACM SIGAda International Conference on Ada, Portland, OR, USA, October 26-30, 2008. pages 7-8, ACM, 2008. [doi]
Abstract is missing.