Formal Methods and Software Engineering‚ 6th International Conference on Formal Engineering Methods‚ ICFEM 2004‚ Seattle‚ WA‚ USA‚ November 8−12‚ 2004‚ Proceedings

Similar Items

• Formal methods and software engineering: 9th international conference on formal engineering methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15/
  by: International Conference on Formal Engineering Methods (9th : 2007 : Boca Raton, Fla.), et al.
  Published: (2007)
• Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings /
  by: International Conference on Formal Engineering Methods (7th : 2005 : Manchester, England), et al.
  Published: (2005)
• Proceedings of the 2004 Motorsports Engineering Conference and Exhibition, November 30-December 2, 2004, Hyatt Regency Dearborn, Dearborn, Michigan, USA
  by: Motorsports Engineering Conference and Exhibition ( :2004 : Dearborn, Mich.), et al.
  Published: (2004)
• Formal Methods in Software Engineering
  by: Hoare, C
  Published: (1986)
• Formal foundations for software engineering methods /
  by: Hussmann, Heinrich, 1959-
  Published: (1997)