Web services and formal methods : Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings - Bravetti, Mario; Nunez, Manuel; Zavattaro, Gianluigi (Lecture Notes in Computer Science,, 2006)