APA-Zitierstil (7. Ausg.)

(2002). Formal methods and software engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21 - 25, 2002 ; proceedings. Springer.

Chicago-Zitierstil (17. Ausg.)

Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21 - 25, 2002 ; Proceedings. Berlin [u.a.]: Springer, 2002.

MLA-Zitierstil (9. Ausg.)

Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21 - 25, 2002 ; Proceedings. Springer, 2002.