Passos, C., 		Campos, J., 		Carvalho, L., 		Silva, M., & 		Nacif, J.
(2026).
 NASC: Neuro-symbolic Architecture for Smart Contracts Vulnerability Detection.
In <em>Anais do XI Simpósio Brasileiro de Testes de Software Sistemático e Automatizado</em>, (pp. 199-208). Porto Alegre: SBC.
doi:10.5753/sast.2026.31443