Top 598 exlib ave4eva http avaxhome ws blogs exlib PDF Book Page 24

book image

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

Lhouari Nourine, Farouk Toumani (auth.), Maurice H. ter Beek, Niels Lohmann (eds.)
·159 Pages
·2013
·2.849 MB

book image

Web Services and Formal Methods: 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers

Mario Bravetti, Gianluigi Zavattaro (auth.), Roberto Bruni, Karsten Wolf (eds.)
·250 Pages
·2009
·5.511 MB

book image

Web Services and Formal Methods: 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers

Richard Hull, Elio Damaggio, Fabiana Fournier (auth.), Mario Bravetti, Tevfik Bultan (eds.)
·198 Pages
·2011
·4.034 MB