Passos, Cleidimar, 		Campos, Josué, 		Carvalho, Luís, 		Silva, Matheus, E 		Nacif, José.
" NASC: Neuro-symbolic Architecture for Smart Contracts Vulnerability Detection" <em>Anais do Simpósio Brasileiro de Testes de Software Sistemático e Automatizado (SAST)</em> [Online], (8 setembro 2026)