FME '97 Industrial Applications and Strengthened Foundations of Formal Methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings /

Ítems similars

• FME 2003: Formal Methods : International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings /
  per: Keijiro Araki, Stefania Gnesi, Dino Mandrioli
  Publicat: (2003)
• FME 2002: Formal Methods - Getting IT Right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings /
  per: Lars-Henrik Eriksson, Peter Alexander Lindsay
  Publicat: (2002)
• FME 2001: Formal Methods for Increasing Software Productivity : International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings /
  per: José Nuno Oliveira, Pamela Zave
  Publicat: (2001)
• Formal Methods: Foundations and Applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers /
  per: Marcel Vinícius Medeiros Oliveira, Jim Woodcock
  Publicat: (2009)
• Formal Methods: Foundations and Applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers /
  per: Jim Davies, Leila Silva, Adenilso Simao
  Publicat: (2011)