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