C. Passos, J. Campos, L. Carvalho, M. Silva, and J. Nacif.
" 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>, São Paulo/SP, 2026, pp. 199-208, doi: <a href="https://doi.org/10.5753/sast.2026.31443">https://doi.org/10.5753/sast.2026.31443</a>.