K. Song, M. Gadelha, F. Brauße, R. Menezes, and L. Cordeiro.
" ESBMC v7.3: Model Checking C++ Programs Using Clang AST", in <em>Anais do XXVI Simpósio Brasileiro de Métodos Formais</em>, Manaus/AM, 2023, pp. 141-152.