APA (7th ed.) Citation

International Conference on Formal Engineering Methods Macau, China, SpringerLink (Online service), He, J., & Liu, Z. (2006). Formal methods and software engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006 : proceedings. Springer. https://doi.org/10.1007/11901433

Chicago Style (17th ed.) Citation

International Conference on Formal Engineering Methods Macau, China, SpringerLink (Online service), Jifeng He, and Zhiming Liu. Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006 : Proceedings. Berlin ; New York: Springer, 2006. https://doi.org/10.1007/11901433.

MLA (9th ed.) Citation

International 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. Springer, 2006. https://doi.org/10.1007/11901433.