Martin Blom, Eivind J. Nordby, Anna Brunstrom. An Experimental Evaluation of Programming by Contract. In 9th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2002), 8-11 April 2002, Lund, Sweden. pages 118, IEEE Computer Society, 2002. [doi]
Abstract is missing.