Song, K., 		Gadelha, M., 		Brauße, F., 		Menezes, R., & 		Cordeiro, L.
2023 Dec  4.  ESBMC v7.3: Model Checking C++ Programs Using Clang AST. Proceedings of the Brazilian Symposium on Formal Methods (SBMF). [Online] :