Jay Abraham, Jeff Chapple, Cyril Preve. Improving quality of Ada software with range analysis. In Ricky E. Sward, Michael Feldman, Dan Eilers, Jean-Pierre Rosen, Frank Singhoff, Julien Delange, Mark Gardinier, Karl A. Nyberg, Jeff Boleng, editors, Proceedings of the 2011 Annual ACM SIGAda International Conference on Ada, Denver, Colorado, USA, November 6-10, 2011. pages 7-8, ACM, 2011. [doi]
Abstract is missing.