APA (7th ed.) Citation
Rozier, K. Y., & Chaudhuri, S. (2023). NASA Formal Methods. Springer Nature.
Chicago Style (17th ed.) Citation
Rozier, Kristin Yvonne, and Swarat Chaudhuri. NASA Formal Methods. Springer Nature, 2023.
MLA (9th ed.) Citation
Rozier, Kristin Yvonne, and Swarat Chaudhuri. NASA Formal Methods. Springer Nature, 2023.
Warning: These citations may not always be 100% accurate.