Soares, G., S. Filho, J., Fontanini, N., & Evaristo, B. (2026). Um Framework Unificado para Auditoria de Contratos Inteligentes com Análise Multicamada. In Anais do IV Colóquio em Blockchain e Web Descentralizada, (pp. 59-64). Porto Alegre: SBC. doi:10.5753/cblockchain.2026.23478