AN ALGEBRAIC APPROACH TO THE VERIFICATION OF SMART CONTRACTS IN TEAL. ITE [Internet]. 2023 Dec. 29 [cited 2026 Sep. 10];(54):37-51. Available from: https://www.ite.kspu.edu/index.php/ite/article/view/868