APA-Zitierstil (7. Ausg.)

(2013). NASA formal methods: 5th international symposium, NFM 2013, Moffett Field, CA, USA, May 14 - 16, 2013 ; proceedings. Springer. https://doi.org/10.1007/978-3-642-38088-4

Chicago-Zitierstil (17. Ausg.)

NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14 - 16, 2013 ; Proceedings. Berlin [u.a.]: Springer, 2013. https://doi.org/10.1007/978-3-642-38088-4.

MLA-Zitierstil (9. Ausg.)

NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14 - 16, 2013 ; Proceedings. Springer, 2013. https://doi.org/10.1007/978-3-642-38088-4.