Song, K., 		Gadelha, M., 		Brauße, F., 		Menezes, R., & 		Cordeiro, L.
(2023).
 ESBMC v7.3: Model Checking C++ Programs Using Clang AST.
In <em>Anais do XXVI Simpósio Brasileiro de Métodos Formais</em>, (pp. 141-152). Porto Alegre: SBC.