In response to the COVID-19 outbreak, statewide lending via OhioLINK and SearchOhio has been suspended. OPAL member libraries have closed or are operating at reduced service levels. Please contact your library with specific lending requests or if you need assistance.
Your session will expire automatically in 0 seconds.
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.).