Lívia Carrera, Ramón Cordeiro, and Antônio Abelém. 2025.
 AuditAI: Automatizando e Facilitando a Auditoria de Contratos Inteligentes com Relatórios Contextuais Gerados por IA. In <em>Anais do VIII Workshop em Blockchain: Teoria, Tecnologias e Aplicações</em>, maio 19, 2025, Natal/RN, Brasil. SBC, Porto Alegre, Brasil, 140-153. DOI: <a href="https://doi.org/10.5753/wblockchain.2025.9134">https://doi.org/10.5753/wblockchain.2025.9134</a>.