Cita APA (7a ed.)
International Symposium on NASA Formal Methods ( Houston, EUA), Badger, J. M., & Rozier, K. Y. NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014 : Proceedings. Springer.
Cita estilo Chicago (17a ed.)
International Symposium on NASA Formal Methods ( Houston, EUA), Julia M. Badger, y Kristin Yvonne Rozier. NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014 : Proceedings. Cham, Suiza: Springer.
Cita MLA (9a ed.)
International Symposium on NASA Formal Methods ( Houston, EUA), et al. NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014 : Proceedings. Springer.
אזהרה: ציטוטים אלה לעיתים לא מדויקים ב 100%.