default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDWeb Services, Formal Methods, and Behavioral Types (WS-FM)
Web Services and Formal Methods
11th WS-FM 2014: Eindhoven, The Netherlands / 12th WS-FM 2015: Madrid, Spain
- Thomas T. Hildebrandt, António Ravara
, Jan Martijn E. M. van der Werf, Matthias Weidlich:
Web Services, Formal Methods, and Behavioral Types - 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers. Lecture Notes in Computer Science 9421, Springer 2016, ISBN 978-3-319-33611-4 [contents]
10th WS-FM 2013: Beijing, China
- Emilio Tuosto, Chun Ouyang:
Web Services and Formal Methods - 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers. Lecture Notes in Computer Science 8379, Springer 2014, ISBN 978-3-319-08259-2 [contents]
9th WS-FM 2012: Tallinn, Estonia
- Maurice H. ter Beek, Niels Lohmann:
Web Services and Formal Methods - 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers. Lecture Notes in Computer Science 7843, Springer 2013, ISBN 978-3-642-38229-1 [contents]
8th WS-FM 2011: Clermont-Ferrand, France
- Marco Carbone, Jean-Marc Petit:
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]
7th WS-FM 2010: Hoboken, NJ, USA
- Mario Bravetti, Tevfik Bultan:
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]
6th WS-FM 2009: Bologna, Italy
- Cosimo Laneve, Jianwen Su:
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]
5th WS-FM 2008: Milan, Italy
- Roberto Bruni, Karsten Wolf:
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]
4th WS-FM 2007: Brisbane, Australia
- Marlon Dumas, Reiko Heckel:
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]
3rd WS-FM 2006: Vienna, Austria
- Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro:
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]
1st WSFM 2004: Pisa, Italy
- Mario Bravetti, Gianluigi Zavattaro:
Proceedings of the First International Workshop on Web Services and Formal Methods, WSFM 2004, Pisa, Italy, February 23-24, 2004. Electronic Notes in Theoretical Computer Science 105, Elsevier 2004 [contents]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-04 01:26 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
