LetychevskyiO., PeschanenkoV., PoltoratskyiM., & KonnovaO. (2023). AN ALGEBRAIC APPROACH TO THE VERIFICATION OF SMART CONTRACTS IN TEAL. Journal of Information Technologies in Education (ITE), (54), 37-51. https://doi.org/10.14308/ite000774