International Conference on Formal Engineering Methods Macau, China, SpringerLink (Online service), Liu, Z., & He, J. Formal methods and software engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings.
Chicago Style (17. basım) AtıfInternational Conference on Formal Engineering Methods Macau, China, SpringerLink (Online service), Zhiming Liu, ve Jifeng He. Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings.
MLA (8th ed.) AtıfInternational Conference on Formal Engineering Methods Macau, China, et al. Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings.