Formal methods and software engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006: proceedings /

Yazar: International Conference on Formal Engineering Methods, Liu, Zhiming., He, Jifeng.
Baskı/Yayın Bilgisi 2006.

Formal methods and software engineering 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, proceedings /

Yazar: International Conference on Formal Engineering Methods, Aoki, Toshiaki., Taguchi, Kenji.
Baskı/Yayın Bilgisi 2012.

Formal methods and software engineering 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 : proceedings /

Yazar: International Conference on Formal Engineering Methods, Breitman, K. K., Cavalcanti, Ana.
Baskı/Yayın Bilgisi 2009.

Formal methods and software rngineering 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : proceedings /

Yazar: International Conference on Formal Engineering Methods, Liu, Shaoying, Maibaum, T. S. E., Araki, Keijiro
Baskı/Yayın Bilgisi c2008

Formal methods and software engineering 15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, proceedings...

Yazar: International Conference on Formal EngineeringMethods, ICFEM 2013, Groves, Lindsay, Sun, Jing
Baskı/Yayın Bilgisi 2013.

Formal methods and software engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007 : proceedings /

Yazar: International Conference on Formal Engineering Methods, Butler, Michael., Hinchey, Michael G., Larrondo-Petrie, Maria M.
Baskı/Yayın Bilgisi 2007.