Web Services and Formal Methods
WS-FM 2011: Clermont-Ferrand, France
Marco Carbone, Jean-Marc Petit (Eds.):
Web Services and Formal Methods - 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers.
Lecture Notes in Computer Science 7176 Springer 2012, ISBN 978-3-642-29833-2
Contents 
WS-FM 2010: Hoboken, NJ, USA
Mario Bravetti, Tevfik Bultan (Eds.):
Web Services and Formal Methods - 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers.
Lecture Notes in Computer Science 6551 Springer 2011, ISBN 978-3-642-19588-4
Contents
WS-FM 2009: Bologna, Italy
Cosimo Laneve, Jianwen Su (Eds.):
Web Services and Formal Methods, 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers.
Lecture Notes in Computer Science 6194 Springer 2010, ISBN 978-3-642-14457-8
Contents
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
Last update Fri May 25 08:50:44 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
