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