Ільїн, М., Стьопочкіна, І., & Новіков, О. (2026). МЕТОДИ ФОРМАЛЬНОЇ ВЕРИФІКАЦІЇ ВИПРАВЛЕНЬ БІНАРНИХ ВРАЗЛИВОСТЕЙ СИСТЕМ КРИТИЧНОЇ ІНФРАСТРУКТУРИ. Електронне фахове наукове видання «Кібербезпека: освіта, наука, техніка», 3(35), 147–157. https://doi.org/10.28925/2663-4023.2026.35.1347