Song, K., 		Gadelha, M., 		Brauße, F., 		Menezes, R., & 		Cordeiro, L.
(2023).
 ESBMC v7.3: Model Checking C++ Programs Using Clang AST.
<em>Anais Do SimpóSio Brasileiro De MéTodos Formais (SBMF), </em>, 141-152.
Recuperado de <a href="https://sol.sbc.org.br/index.php/sbmf/article/view/28041" target="_new">https://sol.sbc.org.br/index.php/sbmf/article/view/28041</a>