Ws Fm 2006 2006 Vienna Austria : Web services and formal methods : third international workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006 : proceedings / Mario Bravetti, Manuel Nunez, Gianluigi Zavattaro (eds.).
Ws Fm 2007 2007 Brisbane Qld : Web services and formal methods : 4th international workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007 ; proceedings / Marlon Dumas, Reiko Heckel (eds.).
Ws Fm 2008 2008 Milan Italy : Web services and formal methods : 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008 ; revised selected papers / Roberto Bruni, Karsten Wolf (eds.).
Ws Fm Workshop 6th 2009 Bologna Italy : Web services and formal methods : 6th international workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009 : revised selected papers / Cosimo Laneve, Jianwen Su (eds.).
Ws Fm Workshop 7th 2010 Hoboken N J : Web services and formal methods : 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010 : revised selected papers / Mario Bravetti, Tevfik Bultan (eds.).
Ws Fm Workshop 8th 2011 Clermont Ferrand France : Web services and formal methods : 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised selected papers / Marco Carbone, Jean-Marc Petit (eds.).