Passos, C., 		Campos, J., 		Carvalho, L., 		Silva, M., & 		Nacif, J.
2026 set  8.  NASC: Neuro-symbolic Architecture for Smart Contracts Vulnerability Detection. Anais do Simpósio Brasileiro de Testes de Software Sistemático e Automatizado (SAST). [Online] :