Jay Abraham, Jeff Chapple, Cyril Preve
Improving quality of Ada software with range analysis
Ada, 2011.
@inproceedings{SIGAda-2011-AbrahamCP, author = "Jay Abraham and Jeff Chapple and Cyril Preve", booktitle = "{Proceedings of the Annual ACM SIGAda International Conference on Ada}", doi = "10.1145/2070337.2070342", isbn = "978-1-4503-1028-4", pages = "7--8", publisher = "{ACM}", title = "{Improving quality of Ada software with range analysis}", year = 2011, }