NFM Moffett Field, Calif.; Online, & Lee, R. (2020). NASA formal methods: 12th international symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020 : proceedings. Springer.
Chicago Style (17th ed.) CitationNFM Moffett Field, Calif.; Online, and Ritchie Lee. NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020 : Proceedings. Cham: Springer, 2020.
MLA (9th ed.) CitationNFM Moffett Field, Calif.; Online, and Ritchie Lee. NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020 : Proceedings. Springer, 2020.
Warning: These citations may not always be 100% accurate.