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