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), pp. 37–51. doi: 10.14308/ite000774.