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