Ільїн, М.; Стьопочкіна, І.; Новіков, О. МЕТОДИ ФОРМАЛЬНОЇ ВЕРИФІКАЦІЇ ВИПРАВЛЕНЬ БІНАРНИХ ВРАЗЛИВОСТЕЙ СИСТЕМ КРИТИЧНОЇ ІНФРАСТРУКТУРИ. Кібербезпека: освіта, наука, техніка 2026, 3, 147-157.