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, 2006)