Formal Methods and Software Engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings /

Lignende værker

• Formal Methods and Software Engineering : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings /
  af: Jin Song Dong, Huibiao Zhu
  Udgivet: (2010, c2010)
• Formal Methods and Software Engineering : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings /
  af: Shengchao Qin, Zongyan Qiu
  Udgivet: (2011, c2011)
• Formal Methods and Software Engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings /
  af: Zhiming Liu, Jifeng He
  Udgivet: (2006, c2006)
• 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 : 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)