Klara Novak (2023) “AI-Based Smart Contract Verification: Securing and Accurate Blockchain Ecosystems”, Edinburg Journal of Natural Language Processing and AI, 7, pp. 1–6. Available at: https://ejnlpai.org/index.php/publication/article/view/1 (Accessed: 15 March 2026).