Letychevskyi, Oleksandr, PeschanenkoVolodymyr, PoltoratskyiMaksym, and Olga Konnova. 2023. “AN ALGEBRAIC APPROACH TO THE VERIFICATION OF SMART CONTRACTS IN TEAL”. Journal of Information Technologies in Education (ITE), no. 54 (December), 37-51. https://doi.org/10.14308/ite000774.