Letychevskyi, Oleksandr, Volodymyr Peschanenko, Maksym Poltoratskyi, 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 October 26, 2024. https://ite.kspu.edu/index.php/ite/article/view/868.