Emilio Tuosto. Contract-Oriented Services. In Maurice H. ter Beek, Niels Lohmann, editors, Web Services and Formal Methods - 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers. Volume 7843 of Lecture Notes in Computer Science, pages 16-29, Springer, 2012. [doi]
Abstract is missing.