NASA Formal Methods

MLA

Barrett, Misty Davies, and Temesghen Kahsai. Nasa Formal Methods. Springer International Publishing, 2017.

APA

Barrett, B., Davies, M., & Kahsai, T. (2017). NASA Formal Methods. Springer International Publishing.

Chicago

Barrett, Misty Davies, and Temesghen Kahsai. NASA Formal Methods. : Springer International Publishing, 2017.