Letychevskyi O, Peschanenko V, Poltoratskyi M, Konnova O. AN ALGEBRAIC APPROACH TO THE VERIFICATION OF SMART CONTRACTS IN TEAL. ITE [nternet]. 2023 Dec. 29 [cited 2026 Aug. 5];(54):37-51. vailable from: https://ite.kspu.edu/index.php/ite/article/view/868