Методи верифікації безпеки смарт-контрактів - Мокрій, В. С.; В'юхiн, Д. О. (Національний технічний університет "Харківський політехнічний інститут", 2025)
Keywords: смарт-контракти; блокчейн; статичний аналіз; перевірка безпеки