Song, Kunjian, 		Gadelha, Mikhail, 		Brauße, Franz, 		Menezes, Rafael, E 		Cordeiro, Lucas.
" ESBMC v7.3: Model Checking C++ Programs Using Clang AST" <em>Anais do Simpósio Brasileiro de Métodos Formais (SBMF)</em> [Online], (4 dezembro 2023)