Song, K., 		Gadelha, M., 		Brauße, F., 		Menezes, R., & 		Cordeiro, L.
2023 dez  4.  ESBMC v7.3: Model Checking C++ Programs Using Clang AST. Anais do Simpósio Brasileiro de Métodos Formais (SBMF). [Online] :