Web Services and Formal Methods
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 BibTeX
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 BibTeX
Copyright © Sat May 16 23:48:40 2009
by Michael Ley (ley@uni-trier.de)
