Design by Contract to Improve Software Vigilancehttp://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.101.1133&rep=rep1&type=pdf by quazar • 6 years ago 1 0 6 years agoCIciteseerx.ist.psu.edu