Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni. Web Service Contracting: Specification and Reasoning with SCIFF. In Enrico Franconi, Michael Kifer, Wolfgang May, editors, The Semantic Web: Research and Applications, 4th European Semantic Web Conference, ESWC 2007, Innsbruck, Austria, June 3-7, 2007, Proceedings. Volume 4519 of Lecture Notes in Computer Science, pages 68-83, Springer, 2007. [doi]
Abstract is missing.