@inproceedings{Meyer07, author = {Bertrand Meyer}, title = {Contract-Driven Development}, booktitle = {FASE}, year = {2007}, pages = {11}, urltopdf = {http://dx.doi.org/10.1007/978-3-540-71289-3_2} }