NASA Formal Methods

MLA

Havelund, Gerard Holzmann, and Rajeev Joshi. Nasa Formal Methods. Springer International Publishing, 2015.

APA

Havelund, H., Holzmann, G., & Joshi, R. (2015). NASA Formal Methods. Springer International Publishing.

Chicago

Havelund, Gerard Holzmann, and Rajeev Joshi. NASA Formal Methods. : Springer International Publishing, 2015.