EMILY CARTER. The Role of AI in Smart Contract Verification: Automating Trust and Security on Blockchain Networks. Australian Journal of Machine Learning Research & Applications, Queensland, Australia, v. 4, n. 2, p. 102–108, 2024. Disponível em: https://sydneyacademics.com/index.php/ajmlra/article/view/170.. Acesso em: 21 nov. 2024.