Formal Methods and Software Engineering : 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings /

Lignende værker

• 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 : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings /
  af: Toshiaki Aoki, Kenji Taguchi
  Udgivet: (2012, c2012)
• 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 : 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 : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings /
  af: Jin Song Dong, Jim Woodcock
  Udgivet: (2003, c2003)