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