Klara Novak. AI-Based Smart Contract Verification: Securing and Accurate Blockchain Ecosystems. Edinburg J. of Nat. Lang. Proc. and AI 2023, 7, 1-6.