Song, Kunjian, Mikhail R. Gadelha, Franz Brauße, Rafael S. Menezes, & Lucas C. Cordeiro.
" ESBMC v7.3: Model Checking C++ Programs Using Clang AST." <em>Anais do Simpósio Brasileiro de Métodos Formais (SBMF)</em> [Online], (2023): 141-152. Web. 17 mai. 2024