APA-Zitierstil (7. Ausg.)

(2011). Software engineering and formal methods: 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14 - 18, 2011 ; proceedings. Springer. https://doi.org/10.1007/978-3-642-24690-6

Chicago-Zitierstil (17. Ausg.)

Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14 - 18, 2011 ; Proceedings. Berlin [u.a.]: Springer, 2011. https://doi.org/10.1007/978-3-642-24690-6.

MLA-Zitierstil (9. Ausg.)

Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14 - 18, 2011 ; Proceedings. Springer, 2011. https://doi.org/10.1007/978-3-642-24690-6.