NASA Formal Methods

MLA

Dutle, et al. Nasa Formal Methods. Springer International Publishing, 2018.

APA

Dutle, D., Anthony Narkawicz, A. Narkawicz, César Muñoz, C. Muñoz, Muñoz, C., & Narkawicz, A. (2018). NASA Formal Methods. Springer International Publishing.

Chicago

Dutle, Anthony Narkawicz, César Muñoz, César Muñoz, and Anthony Narkawicz. NASA Formal Methods. : Springer International Publishing, 2018.