NASA Formal Methods

MLA

Sanjai Rayadurgam, Oksana Tkachuk, and Oksana Tkachuk. Nasa Formal Methods. Springer International Publishing, 2016.

APA

Sanjai Rayadurgam, O. Tkachuk, & Tkachuk, O. (2016). NASA Formal Methods. Springer International Publishing.

Chicago

Sanjai Rayadurgam, Oksana Tkachuk, and Oksana Tkachuk. NASA Formal Methods. : Springer International Publishing, 2016.