Letychevskyi, Oleksandr, PeschanenkoVolodymyr, PoltoratskyiMaksym, and Olga Konnova. “AN ALGEBRAIC APPROACH TO THE VERIFICATION OF SMART CONTRACTS IN TEAL”. Journal of Information Technologies in Education (ITE), no. 54 (December 29, 2023): 37-51. Accessed May 20, 2024. http://ite.kspu.edu/index.php/ite/article/view/868.