(2010). Formal methods and software engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010 : proceedings / Jin Song Dong, Huibiao Zhu (eds.).
Citazione stile Chigago Style (17a edizione)Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010 : Proceedings / Jin Song Dong, Huibiao Zhu (eds.). 2010.
Citatione MLA (9a ed.)Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010 : Proceedings / Jin Song Dong, Huibiao Zhu (eds.). 2010.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.