Web Services and Formal Methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers /

Documenti analoghi

• Web Services and Formal Methods : 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers /
  di: Cosimo Laneve, Jianwen Su
  Pubblicazione: (2010, c2010)
• Web Services and Formal Methods : 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers /
  di: Mario Bravetti, Tevfik Bultan
  Pubblicazione: (2011, c2011)
• Web Services and Formal Methods : 10th International Workshop, WS-FM 2013, Beijing, China, August 2013 : Revised Selected Papers /
  Pubblicazione: (2014, c2014)
• Web Services and Formal Methods : Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings /
  di: Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro
  Pubblicazione: (2006, c2006)
• Web Services and Formal Methods : 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers /
  di: Marco Carbone, Jean-Marc Petit
  Pubblicazione: (2012, c2012)