2023. AN ALGEBRAIC APPROACH TO THE VERIFICATION OF SMART CONTRACTS IN TEAL. Journal of Information Technologies in Education (ITE). 54 (Dec. 2023), 37–51. DOI:https://doi.org/10.14308/ite000774.