NASA Formal Methods

MLA

Julia M. Badger, Kristin Yvonne Rozier, Josef Kittler, and Kristin Yvonne Rozier. Nasa Formal Methods. Springer International Publishing, 2014.

APA

Julia M. Badger, K. Yvonne Rozier, Kittler, J., & Rozier, K. Yvonne. (2014). NASA Formal Methods. Springer International Publishing.

Chicago

Julia M. Badger, Kristin Yvonne Rozier, Josef Kittler, and Kristin Yvonne Rozier. NASA Formal Methods. : Springer International Publishing, 2014.