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