APA (7th ed.) Citation
Dragoi, C., Emmi, M., & Wang, J. (2023). Verification, Model Checking, and Abstract Interpretation. Springer Nature.
Chicago Style (17th ed.) Citation
Dragoi, Cezara, Michael Emmi, and Jingbo Wang. Verification, Model Checking, and Abstract Interpretation. Springer Nature, 2023.
MLA (9th ed.) Citation
Dragoi, Cezara, et al. Verification, Model Checking, and Abstract Interpretation. Springer Nature, 2023.
Warning: These citations may not always be 100% accurate.