Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету
Класифікатори
перевірка, проверка
перевірка автоматизована
Документи:
Автоматизований метод перевірки правильності виконання смарт-контрактів в блокчейн мережі [Текст] / А. О. Гашко, А. П. Бондарчук, М. П. Трембовецький, О. І. Чумак // Телекомунікаційні та інформаційні технології. – 2025. – № 1. – С. 13-20. – DOI: 10.31673/2412-4338.2025.014506.
Інформаційно-пошукова система
'УФД/Бібліотека'
