Static verification and extreme programming

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]


Abstract is missing.