NASA Formal Methods

MLA

Bobaru, Mihaela, et al. Nasa Formal Methods. Springer Berlin Heidelberg, 2011.

APA

Bobaru, M., Havelund, K., Holzmann, G. J, Joshi, R., Kanade, T., & Holzmann, G. (2011). NASA Formal Methods. Springer Berlin Heidelberg.

Chicago

Bobaru, Mihaela, Klaus Havelund, Gerard J Holzmann, Rajeev Joshi, Takeo Kanade, and Gerard Holzmann. NASA Formal Methods. : Springer Berlin Heidelberg, 2011.