@misc{indiciae5e5bf783a2e3,
  title = {Contracts in Practice},
  author = {H. -Christian Estler and Carlo A. Furia and Martin Nordio and Marco Piccioni and Bertrand Meyer},
  year = {2014},
  doi = {10.1007/978-3-319-06410-9\_17},
  url = {https://arxiv.org/abs/1211.4775},
  note = {Source identifier: 1211.4775}
}