SoftContract: an Assertion-Based Software Development Process that Enables Design-by-Contract.

Jean-Yves Brunel, Marco Di Natale, Alberto Ferrari, Paolo Giusto, Luciano Lavagno

Browse the full DATE paper archive.