Letychevskyi, O., Peschanenko, V. ., Poltoratskyi, M. ., & Konnova, O. (2023). AN ALGEBRAIC APPROACH TO THE VERIFICATION OF SMART CONTRACTS IN TEAL. ournal of nformation echnologies in ducation (ITE), (54), 37–51. https://doi.org/10.14308/ite000774