Web Services and Formal Methods : Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings - Bravetti, Mario (Herausgeber); Núñez, Manuel (Herausgeber); Zavattaro, Gianluigi (Herausgeber) (Programming and Software Engineering, 2006)