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

Documenti analoghi

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