Web Services and Formal Methods Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings - Bravetti, Mario; Núñez, Manuel; Zavattaro, Gianluigi (Springer Berlin Heidelberg, 2006)