SpringerLink (Online service), Brat, G., Rungta, N., & Venet, A. (2013). NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings. Springer Berlin Heidelberg : Imprint: Springer.
Chicago Style (17th ed.) CitationSpringerLink (Online service), Guillaume Brat, Neha Rungta, and Arnaud Venet. NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2013.
MLA (8th ed.) CitationSpringerLink (Online service), et al. NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings. Springer Berlin Heidelberg : Imprint: Springer, 2013.
Warning: These citations may not always be 100% accurate.
