Web Services and Formal Methods : 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007, Proceedings /

Benzer Materyaller

• Web Services and Formal Methods : 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings /
  Yazar:: Roberto Bruni, Karsten Wolf
  Baskı/Yayın Bilgisi: (2009)
• Web Services and Formal Methods : Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings /
  Yazar:: Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro
  Baskı/Yayın Bilgisi: (2006)
• Web Services and Formal Methods : 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers /
  Yazar:: Cosimo Laneve, Jianwen Su
  Baskı/Yayın Bilgisi: (2010)
• Web Services and Formal Methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers /
  Yazar:: Maurice H. Beek, Niels Lohmann
  Baskı/Yayın Bilgisi: (2013)
• Web Services and Formal Methods : 10th International Workshop, WS-FM 2013, Beijing, China, August 2013 : Revised Selected Papers /
  Baskı/Yayın Bilgisi: (2014)