APA (7th ed.) Citation

Li, X., Song, K., Gadelha, M. R., Brauße, F., Menezes, R. S., Korovin, K., & Cordeiro, L. C. (2024). ESBMC v7.6: Enhanced Model Checking of C++ Programs with Clang AST.

Chicago Style (17th ed.) Citation

Li, Xianzhiyu, Kunjian Song, Mikhail R. Gadelha, Franz Brauße, Rafael S. Menezes, Konstantin Korovin, and Lucas C. Cordeiro. ESBMC V7.6: Enhanced Model Checking of C++ Programs with Clang AST. 2024.

MLA (9th ed.) Citation

Li, Xianzhiyu, et al. ESBMC V7.6: Enhanced Model Checking of C++ Programs with Clang AST. 2024.