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