Peter Amey, Roderick Chapman
Static verification and extreme programming
Ada, 2003.
@inproceedings{SIGAda-2003-AmeyC, author = "Peter Amey and Roderick Chapman", booktitle = "{Proceedings of the Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies}", doi = "10.1145/958420.958422", isbn = "1-58113-476-2", pages = "4--9", publisher = "{ACM}", title = "{Static verification and extreme programming}", year = 2003, }