@InProceedings{EFNPM-FM14, author = {H.-Christian Estler and Carlo A. Furia and Martin Nordio and Marco Piccioni and Bertrand Meyer}, title = {Contracts in Practice}, booktitle = {Proceedings of the 19th International Symposium on Formal Methods (FM)}, year = {2014}, editor = {Cliff B. Jones and Pekka Pihlajasaari and Jun Sun}, series = {Lecture Notes in Computer Science}, pages = {230--246}, volume = {8442}, month = {May}, publisher = {Springer}, urltopdf = {/people/furia/pubs/fm14-coat.pdf} }