Klara Novak. AI-Based Smart Contract Verification: Securing and Accurate Blockchain Ecosystems. Edinburg J. of Nat. Lang. Proc. and AI. 2023;7:1-6. Accessed March 15, 2026. https://ejnlpai.org/index.php/publication/article/view/1