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>Anais do XXVI Simpósio Brasileiro de Métodos Formais</em>, dezembro 04, 2023, Manaus/AM, Brasil. SBC, Porto Alegre, Brasil, 141-152.