Гашко, А.О. et al. 2025. АВТОМАТИЗОВАНИЙ МЕТОД ПЕРЕВІРКИ ПРАВИЛЬНОСТІ ВИКОНАННЯ СМАРТ-КОНТРАКТІВ В БЛОКЧЕЙН МЕРЕЖІ: DOI: 10.31673/2412-4338.2025.014506. ТЕЛЕКОМУНІКАЦІЙНІ ТА ІНФОРМАЦІЙНІ ТЕХНОЛОГІЇ. 1 (Квіт 2025), 13–20. DOI:https://doi.org/10.31673/2412-4338.2025.014506.