Carrera, L., 		Cordeiro, R., & 		Abelém, A.
(2025).
 AuditAI: Automating and Facilitating the Audit of Smart Contracts with Contextual Reports Generated by AI.
In <em>Proceedings of the 8th Blockchain Workshop: Theory, Technology and Applications</em>, (pp. 140-153). Porto Alegre: SBC.
doi:10.5753/wblockchain.2025.9134