Klara Novak. AI-Based Smart Contract Verification: Securing and Accurate Blockchain Ecosystems. Edinburg J. of Nat. Lang. Proc. and AI [Internet]. 2023 Dec. 29 [cited 2026 Mar. 15];7:1-6. Available from: https://ejnlpai.org/index.php/publication/article/view/1