Web services and formal methods : third international workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, proceedings - Bravetti, Mario, 1971-; Núñez, Manuel; Zavattaro, Gianluigi (Lecture notes in computer science ;, 2006)