Публікація: Методи верифікації безпеки смарт-контрактів
Завантаження...
Файли
Дата
Автори
Назва журналу
ISSN журналу
Назва тому
Видавець
Анотація
Опис
Ключові слова
безпека смарт-контрактів
Цитування
Мокрій В. С. Методи верифікації безпеки смарт-контрактів / В. С. Мокрій, Д. О. В’юхiн // Проблеми iнформатизацiї : тези доповідей тринадцятої міжнар. наук.-техн. конф., 27–28 листопада 2025 р. - Баку– Харків–Бельсько-Бяла, 2025. – С. 88-89.