(2014). NASA formal methods: 6th international symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014 ; proceedings. Springer.
Chicago-Zitierstil (17. Ausg.)NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014 ; Proceedings. Cham [u.a.]: Springer, 2014.
MLA-Zitierstil (9. Ausg.)NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014 ; Proceedings. Springer, 2014.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.