APA-Zitierstil (7. Ausg.)

International Conference on Formal Engineering Methods Boca Raton, Fla. (2007). Formal methods and software engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007 ; proceedings. Springer.

Chicago-Zitierstil (17. Ausg.)

International Conference on Formal Engineering Methods Boca Raton, Fla. Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007 ; Proceedings. Berlin [u.a.]: Springer, 2007.

MLA-Zitierstil (9. Ausg.)

International Conference on Formal Engineering Methods Boca Raton, Fla. Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007 ; Proceedings. Springer, 2007.