Ільїн М, Стьопочкіна І, Новіков О. МЕТОДИ ФОРМАЛЬНОЇ ВЕРИФІКАЦІЇ ВИПРАВЛЕНЬ БІНАРНИХ ВРАЗЛИВОСТЕЙ СИСТЕМ КРИТИЧНОЇ ІНФРАСТРУКТУРИ. Кібербезпека: освіта, наука, техніка [інтернет]. 26, Жовтень 2026 [цит. за 27, Жовтень 2026];3(35):147-5. доступний у: https://csecurity.kubg.edu.ua/index.php/journal/article/view/1347