Web Services and Formal Methods
WS-FM 2012: Tallinn, Estonia
Maurice H. ter Beek, Niels Lohmann (Eds.): Web Services and Formal Methods - 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers. Springer 2013 Lecture Notes in Computer Science 7843 ISBN 978-3-642-38229-1 [ contents ]
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. Springer 2012 Lecture Notes in Computer Science 7176 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. Springer 2011 Lecture Notes in Computer Science 6551 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. Springer 2010 Lecture Notes in Computer Science 6194 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. Springer 2009 Lecture Notes in Computer Science 5387 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. Springer 2008 Lecture Notes in Computer Science 4937 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. Springer 2006 Lecture Notes in Computer Science 4184 ISBN 3-540-38862-1 [ contents ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team