FME 2003: Formal Methods : International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings /

Documenti analoghi

• 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)
• FME '97 Industrial Applications and Strengthened Foundations of Formal Methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings /
  di: John Fitzgerald, Cliff B. Jones, Peter Lucas
  Pubblicazione: (1997, c1997)
• Integrated Formal Methods : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings /
  di: John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne
  Pubblicazione: (2012, c2012)
• Formal Methods and Software Engineering : 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings /
  di: Shaoying Liu, Tom Maibaum, Keijiro Araki
  Pubblicazione: (2008, c2008)