APA-Zitierstil (7. Ausg.)

(2005). Formal methods and software engineering: 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1 - 4, 2005 ; proceedings. Springer. https://doi.org/10.1007/11576280

Chicago-Zitierstil (17. Ausg.)

Formal Methods and Software Engineering: 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1 - 4, 2005 ; Proceedings. Berlin [u.a.]: Springer, 2005. https://doi.org/10.1007/11576280.

MLA-Zitierstil (9. Ausg.)

Formal Methods and Software Engineering: 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1 - 4, 2005 ; Proceedings. Springer, 2005. https://doi.org/10.1007/11576280.