Kunjian Song, Mikhail Gadelha, Franz Brauße, Rafael Menezes, and Lucas Cordeiro. 2023.
 ESBMC v7.3: Model Checking C++ Programs Using Clang AST. In <em>Proceedings of the 26th Brazilian Symposium on Formal Methods</em>, December 04, 2023, Manaus/AM, Brasil. SBC, Porto Alegre, Brasil, 141-152.