Bertrand Meyer. Doing More with Contracts: Towards Automatic Tests and Proofs. In Nicolas Guelfi, Anthony Savidis, editors, Rapid Integration of Software Engineering Techniques, Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers. Volume 3943 of Lecture Notes in Computer Science, pages 1, Springer, 2005. [doi]
Abstract is missing.