Заболотня, Тетяна МиколаївнаКорунська, Анна Михайлівна2022-02-212022-02-212021-12Корунська, А. М. Метод автоматизованої верифікації програмного коду смарт-контрактів : магістерська дис. : 121 Інженерія програмного забезпечення / Корунська Анна Михайлівна. – Київ, 2021. – 134 с.https://ela.kpi.ua/handle/123456789/46640ukдецентралізовані системиdecentralized systemsблокчейнblockchainsolidityсмарт-контрактsmart contractверифікаціяverificationsliherslithIRMaster Thesis134 с.004.91