dblp.uni-trier.de www.uni-trier.de

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Copyright © Fri Dec 4 02:59:19 2009 by Michael Ley (ley@uni-trier.de)