KLARA NOVAK. AI-Based Smart Contract Verification: Securing and Accurate Blockchain Ecosystems. Edinburg Journal of Natural Language Processing and AI, Edinburg, USA, v. 7, p. 1–6, 2023. Disponível em: https://ejnlpai.org/index.php/publication/article/view/1.. Acesso em: 15 mar. 2026.