## Ward Douglas Maurer

*Using mathematics to improve ada compiled code, part 2: the proof*

Ada, 2007.

@inproceedings{SIGAda-2007-Maurer, author = "Ward Douglas Maurer", booktitle = "{Proceedings of the Annual ACM SIGAda International Conference on Ada}", doi = "10.1145/1315580.1315591", isbn = "978-1-59593-876-3", pages = "11--26", publisher = "{ACM}", title = "{Using mathematics to improve ada compiled code, part 2: the proof}", year = 2007, }