NASA Formal Methods

MLA

Hutchison, David; Kanade, Takeo; Kittler, Josef, Neha Rungta, and Arnaud Venet. Nasa Formal Methods. Springer Berlin Heidelberg, 2013.

APA

Hutchison, J., Rungta, N., & Venet, A. (2013). NASA Formal Methods. Springer Berlin Heidelberg.

Chicago

Hutchison, David; Kanade, Takeo; Kittler, Josef, Neha Rungta, and Arnaud Venet. NASA Formal Methods. : Springer Berlin Heidelberg, 2013.