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

Схожие документы

• Formal Methods and Software Engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings /
  по: Zhiming Liu, Jifeng He
  Опубликовано: (2006)
• Formal Methods and Software Engineering : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings /
  по: Toshiaki Aoki, Kenji Taguchi
  Опубликовано: (2012)
• Formal Methods and Software Engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings /
  по: Chris George, Huaikou Miao
  Опубликовано: (2002)
• Formal Methods and Software Engineering : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings /
  по: Shengchao Qin, Zongyan Qiu
  Опубликовано: (2011)
• Formal Methods and Software Engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings /
  по: Jin Song Dong, Jim Woodcock
  Опубликовано: (2003)