Domenico Bianculli, Carlo Ghezzi, Paola Spoletini, Luciano Baresi, Sam Guinea. A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions. In Egon Börger, Antonio Cisternino, editors, Advances in Software Engineering, Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures. Volume 5316 of Lecture Notes in Computer Science, pages 131-160, Springer, 2007. [doi]
Abstract is missing.