NFM Houston, Tex, & Badger, J. M. (2019). NASA formal methods: 11th international symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019 : proceedings. Springer.
Chicago-Zitierstil (17. Ausg.)NFM Houston, Tex, und Julia M. Badger. NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019 : Proceedings. Cham: Springer, 2019.
MLA-Zitierstil (9. Ausg.)NFM Houston, Tex, und Julia M. Badger. NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019 : Proceedings. Springer, 2019.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.