@Proceedings{ BernardoPadovaniZavattaro09, editor = {Marco Bernardo and Luca Padovani and Gianluigi Zavattaro}, title = {{Formal Methods for Web Services, International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM'09), Advanced Lectures}}, year = {2009}, series = {LNCS}, volume = {5569}, publisher = {Springer}, doi = {10.1007/978-3-642-01918-0} }