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.