Letychevskyi, O., Peschanenko, V. , Poltoratskyi, M. and Konnova, O. 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.