Eivind J. Nordby, Martin Blom, Anna Brunstrom. On the Relation between Design Contracts and Errors: A Software Development Strategy. In 9th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2002), 8-11 April 2002, Lund, Sweden. pages 110-117, IEEE Computer Society, 2002. [doi]
Abstract is missing.