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