NASA Formal Methods
MLA
Lee, et al. Nasa Formal Methods. Springer International Publishing, 2020.
APA
Lee, L., Giannakopoulou, D., Jha, S., & Mavridou, A. (2020). NASA Formal Methods. Springer International Publishing.
Chicago
Lee, Dimitra Giannakopoulou, Susmit Jha, and Anastasia Mavridou. NASA Formal Methods. : Springer International Publishing, 2020.