Klara Novak 2023. AI-Based Smart Contract Verification: Securing and Accurate Blockchain Ecosystems. Edinburg Journal of Natural Language Processing and AI. 7, (Dec. 2023), 1–6.