АЛГЕБРАЇЧНИЙ ПІДХІД ДО АНАЛІЗУ СМАРТ-КОНТРАКТІВ НА TEAL. ITE. 2023;(54):37-51. doi:10.14308/ite000774