TY - RPRT TI - Contracts in Practice AU - H. -Christian Estler AU - Carlo A. Furia AU - Martin Nordio AU - Marco Piccioni AU - Bertrand Meyer PY - 2014 DO - 10.1007/978-3-319-06410-9_17 UR - https://arxiv.org/abs/1211.4775 ID - 1211.4775 ER -