Formal Methods and Software Engineering : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings /

Lignende værker

• Formal Methods and Software Engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings /
  af: Kung-Kiu Lau, Richard Banach
  Udgivet: (2005, c2005)
• Formal Methods and Software Engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings /
  af: Chris George, Huaikou Miao
  Udgivet: (2002, c2002)
• Formal Methods and Software Engineering : 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings /
  af: Shaoying Liu, Tom Maibaum, Keijiro Araki
  Udgivet: (2008, c2008)
• Formal Methods and Software Engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings /
  af: Jin Song Dong, Jim Woodcock
  Udgivet: (2003, c2003)
• Formal Methods and Software Engineering : 15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings /
  af: Lindsay Groves, Jing Sun
  Udgivet: (2013, c2013)