Shankaranarayanan, K., Sankaranarayanan, S., & Trivedi, A. (2025). Verification, Model Checking, and Abstract Interpretation. Springer Nature.
Erfolgreich in die Zwischenablage kopiert
Kopieren in die Zwischenablage fehlgeschlagen
Chicago-Zitierstil (17. Ausg.)
Shankaranarayanan, Krishna, Sriram Sankaranarayanan, und Ashutosh Trivedi. Verification, Model Checking, and Abstract Interpretation. Springer Nature, 2025.
Erfolgreich in die Zwischenablage kopiert
Kopieren in die Zwischenablage fehlgeschlagen
MLA-Zitierstil (9. Ausg.)
Shankaranarayanan, Krishna, et al. Verification, Model Checking, and Abstract Interpretation. Springer Nature, 2025.
Erfolgreich in die Zwischenablage kopiert
Kopieren in die Zwischenablage fehlgeschlagen
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.