Song, Kunjian, 		Gadelha, Mikhail, 		Brauße, Franz, 		Menezes, Rafael, AND 		Cordeiro, Lucas.
" ESBMC v7.3: Model Checking C++ Programs Using Clang AST" <em>Proceedings of the Brazilian Symposium on Formal Methods (SBMF)</em> [Online], (4 December 2023)