@article{3dc5d7ea268a4e99a0cb15a2785162ae,
title = "Three algorithms and a methodology for amending contracts for choreographies",
keywords = "Assertions, Choreography, Design-by-contract, Multiparty session types, Satisfiability",
author = "Laura Bocchi and Julien Lange and Emilio Tuosto",
year = "2012",
doi = "10.7561/SACS.2012.1.61",
language = "English",
volume = "22",
pages = "61--104",
journal = "Scientific Annals of Computer Science",
issn = "1843-8121",
publisher = "Alexandru Ioan Cuza - University of Iasi",
number = "1",
}