Jean-Yves Brunel, Marco Di Natale, Alberto Ferrari, Paolo Giusto, Luciano Lavagno. SoftContract: an Assertion-Based Software Development Process that Enables Design-by-Contract. In 2004 Design, Automation and Test in Europe Conference and Exposition (DATE 2004), 16-20 February 2004, Paris, France. pages 358-363, IEEE Computer Society, 2004. [doi]
Abstract is missing.