Judy Tantivongsathaporn, Daniel Stearns. An Experience With Design by Contract. In 13th Asia-Pacific Software Engineering Conference (APSEC 2006), 6-8 December 2006, Bangalore, India. pages 335-341, IEEE Computer Society, 2006. [doi]
Abstract is missing.