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

Lignende værker

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