Peter Amey, Roderick Chapman. Static verification and extreme programming. In Robert C. Leif, Ricky E. Sward, editors, Proceedings of the 2003 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2003, San Diego, CA, USA, December 7-11, 2003. pages 4-9, ACM, 2003. [doi]
@inproceedings{AmeyC03,
title = {Static verification and extreme programming},
author = {Peter Amey and Roderick Chapman},
year = {2003},
doi = {10.1145/958420.958422},
url = {http://doi.acm.org/10.1145/958420.958422},
tags = {program verification, extreme programming, programming},
researchr = {https://researchr.org/publication/AmeyC03},
cites = {0},
citedby = {0},
pages = {4-9},
booktitle = {Proceedings of the 2003 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2003, San Diego, CA, USA, December 7-11, 2003},
editor = {Robert C. Leif and Ricky E. Sward},
publisher = {ACM},
isbn = {1-58113-476-2},
}