Гашко, А. О., Бондарчук, А. П., Трембовецький, М. П., & Чумак, О. І. (2025). АВТОМАТИЗОВАНИЙ МЕТОД ПЕРЕВІРКИ ПРАВИЛЬНОСТІ ВИКОНАННЯ СМАРТ-КОНТРАКТІВ В БЛОКЧЕЙН МЕРЕЖІ: DOI: 10.31673/2412-4338.2025.014506. ТЕЛЕКОМУНІКАЦІЙНІ ТА ІНФОРМАЦІЙНІ ТЕХНОЛОГІЇ, 1, 13-20. https://doi.org/10.31673/2412-4338.2025.014506