Passos, Cleidimar, Josué N. Campos, Luís H. S. de Carvalho, Matheus J. da Silva, and José A. M. Nacif.
" NASC: Neuro-symbolic Architecture for Smart Contracts Vulnerability Detection." <em>Anais do XI Simpósio Brasileiro de Testes de Software Sistemático e Automatizado,
São Paulo/SP, 2026</em>. SBC, 2026,  
pp.199-208.