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