APA (7th ed.) Citation

(2013). NASA formal methods: 5th international symposium, NFM 2013, Moffett Field, CA, USA, May 14 - 16, 2013 ; proceedings. Springer.

Chicago Style (17th ed.) Citation

NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14 - 16, 2013 ; Proceedings. Berlin [u.a.]: Springer, 2013.

MLA (9th ed.) Citation

NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14 - 16, 2013 ; Proceedings. Springer, 2013.