Yishai A. Feldman. Extreme Design by Contract. In Michele Marchesi, Giancarlo Succi, editors, Extreme Programming and Agile Processes in Software Engineering, 4th International Conference, XP 2003, Genova, Italy, May 25-29, 2003 Proceedings. Volume 2675 of Lecture Notes in Computer Science, pages 261-270, Springer, 2003. [doi]
Abstract is missing.