APA (7e ed.) Bronvermelding
Guillaume Brat, N. R. NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings. Springer.
Chicago (17e ed.) Bronvermelding
Guillaume Brat, Neha Rungta. NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings. Berlín, Alemania: Springer.
MLA (9e ed.) Bronvermelding
Guillaume Brat, Neha Rungta. NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings. Springer.
Let op: Deze citaties zijn niet altijd 100% accuraat.