Cita APA (7a ed.)
Dragoi, C., Emmi, M., & Wang, J. (2023). Verification, Model Checking, and Abstract Interpretation. Springer Nature.
Cita Chicago Style (17a ed.)
Dragoi, Cezara, Michael Emmi, y Jingbo Wang. Verification, Model Checking, and Abstract Interpretation. Springer Nature, 2023.
Cita MLA (9a ed.)
Dragoi, Cezara, et al. Verification, Model Checking, and Abstract Interpretation. Springer Nature, 2023.
Precaución: Estas citas no son 100% exactas.