Web Services and Formal Methods
WS-FM 2008: Milan, Italy
Roberto Bruni, Karsten Wolf (Eds.):
Web Services and Formal Methods, 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers.
Lecture Notes in Computer Science 5387 Springer 2009, ISBN 978-3-642-01363-8
Contents
WS-FM 2007: Brisbane, Australia
Marlon Dumas, Reiko Heckel (Eds.):
Web Services and Formal Methods, 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings.
Lecture Notes in Computer Science 4937 Springer 2008, ISBN 978-3-540-79229-1
Contents
WS-FM 2006: Vienna, Austria
Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro (Eds.):
Web Services and Formal Methods, Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006, Proceedings.
Lecture Notes in Computer Science 4184 Springer 2006, ISBN 3-540-38862-1
Contents
Copyright © Fri Dec 4 02:59:19 2009
by Michael Ley (ley@uni-trier.de)