APA-Zitierstil (7. Ausg.)

(2003). Formal methods and software engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 ; proceedings. Springer.

Chicago-Zitierstil (17. Ausg.)

Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 ; Proceedings. Berlin u.a: Springer, 2003.

MLA-Zitierstil (9. Ausg.)

Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 ; Proceedings. Springer, 2003.