Letychevskyi O, PeschanenkoV, PoltoratskyiM, Konnova O. AN ALGEBRAIC APPROACH TO THE VERIFICATION OF SMART CONTRACTS IN TEAL. ITE [Internet]. 2023Dec.29 [cited 2024May20];(54):37-1. Available from: http://ite.kspu.edu/index.php/ite/article/view/868