LEE, Ritchie, JHA, Susmit, MAVRIDOU, Anastasia und GIANNAKOPOULOU, Dimitra (Hrsg.). 1 st ed. 2020. Cham: Springer International Publishing. ISBN 9783030557546.
Elsevier - Harvard (with titles)Lee, R., Jha, S., Mavridou, A., Giannakopoulou, D. (Hrsg.), 2020. NASA Formal Methods : 12 th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings, 1 st ed. 2020. ed, Programming and Software Engineering. Springer International Publishing, Cham. https://doi.org/10.1007/978-3-030-55754-6
American Psychological Association 7th editionNASA Formal Methods : 12 th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings. (ca. 2020). [Cd]. In R. Lee, S. Jha, A. Mavridou, & D. Giannakopoulou (Hrsg.), Programming and Software Engineering (1 st ed. 2020). Springer International Publishing. https://doi.org/10.1007/978-3-030-55754-6
Springer - Basic (author-date)Lee R, Jha S, Mavridou A, Giannakopoulou D (Hrsg.) (2020) NASA Formal Methods : 12 th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings, 1 st ed. 2020. Springer International Publishing, Cham
Juristische Zitierweise (Stüber) (Deutsch)Lee, Ritchie/ Jha, Susmit/ Mavridou, Anastasia/ Giannakopoulou, Dimitra (Hrsg.), NASA Formal Methods : 12 th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings, 1 st ed. 2020 , Cham 2020.