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

Benzer Materyaller

• Formal Methods and Software Engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings /
  Yazar:: Zhiming Liu, Jifeng He
  Baskı/Yayın Bilgisi: (2006, c2006)
• Formal Methods and Software Engineering : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings /
  Yazar:: Toshiaki Aoki, Kenji Taguchi
  Baskı/Yayın Bilgisi: (2012, c2012)
• Formal Methods and Software Engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings /
  Yazar:: Chris George, Huaikou Miao
  Baskı/Yayın Bilgisi: (2002, c2002)
• Formal Methods and Software Engineering : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings /
  Yazar:: Shengchao Qin, Zongyan Qiu
  Baskı/Yayın Bilgisi: (2011, c2011)
• Formal Methods and Software Engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings /
  Yazar:: Jin Song Dong, Jim Woodcock
  Baskı/Yayın Bilgisi: (2003, c2003)