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

Схожие документы

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