APA (7. basım) Alıntı
Shankaranarayanan, K., Sankaranarayanan, S., & Trivedi, A. (2025). Verification, Model Checking, and Abstract Interpretation. Springer Nature.
Chicago Style (17. basım) Atıf
Shankaranarayanan, Krishna, Sriram Sankaranarayanan, ve Ashutosh Trivedi. Verification, Model Checking, and Abstract Interpretation. Springer Nature, 2025.
MLA (9th ed.) Atıf
Shankaranarayanan, Krishna, et al. Verification, Model Checking, and Abstract Interpretation. Springer Nature, 2025.
Uyarı: Bu alıntı herzaman %100 doğru olmayabilir..