АЛГЕБРАЇЧНИЙ ПІДХІД ДО АНАЛІЗУ СМАРТ-КОНТРАКТІВ НА TEAL. ITE [інтернет]. 29, Грудень 2023 [цит. за 28, Серпень 2026];(54):37-51. доступний у: https://ite.kspu.edu/index.php/ite/article/view/868