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

অনুযায়ী International Conference on Formal Engineering Methods, Liu, Zhiming., He, Jifeng.
প্রকাশিত 2006.

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

অনুযায়ী International Conference on Formal Engineering Methods, Aoki, Toshiaki., Taguchi, Kenji.
প্রকাশিত 2012.

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

অনুযায়ী International Conference on Formal Engineering Methods, Breitman, K. K., Cavalcanti, Ana.
প্রকাশিত 2009.

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

অনুযায়ী International Conference on Formal Engineering Methods, Liu, Shaoying, Maibaum, T. S. E., Araki, Keijiro
প্রকাশিত c2008

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

অনুযায়ী International Conference on Formal EngineeringMethods, ICFEM 2013, Groves, Lindsay, Sun, Jing
প্রকাশিত 2013.

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

অনুযায়ী International Conference on Formal Engineering Methods, Butler, Michael., Hinchey, Michael G., Larrondo-Petrie, Maria M.
প্রকাশিত 2007.