АЛГЕБРАЇЧНИЙ ПІДХІД ДО АНАЛІЗУ СМАРТ-КОНТРАКТІВ НА TEAL. (2023). Збірник наукових праць "Information Technologies in Education" (ITE), 54, 37-51. https://doi.org/10.14308/ite000774