APA-Zitierstil (7. Ausg.)

(2012). NASA formal methods: 4th international symposium, NFM 2012, Norfolk, VA, USA, April 3 - 5, 2012 ; proceedings. Springer.

Chicago-Zitierstil (17. Ausg.)

NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3 - 5, 2012 ; Proceedings. Berlin [u.a.]: Springer, 2012.

MLA-Zitierstil (9. Ausg.)

NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3 - 5, 2012 ; Proceedings. Springer, 2012.