APA (7th ed.) Citation

NFM Minneapolis, Minn, & Rayadurgam, S. (2016). NASA formal methods: 8th international symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016 : proceedings. Springer.

Chicago Style (17th ed.) Citation

NFM Minneapolis, Minn, and Sanjai Rayadurgam. NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016 : Proceedings. [Cham]: Springer, 2016.

MLA (9th ed.) Citation

NFM Minneapolis, Minn, and Sanjai Rayadurgam. NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016 : Proceedings. Springer, 2016.