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