Web Services and Formal Methods, Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006, Proceedings

Mario Bravetti Manuel Núñez Gianluigi Zavattaro Web Services and Formal Methods, Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006, Proceedings WS-FM Lecture Notes in Computer Science 4184 Springer 2006 3-540-38862-1 db/conf/wsfm/wsfm2006.html