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