Повернутися до подробиць статті
МЕТОДИ ФОРМАЛЬНОЇ ВЕРИФІКАЦІЇ ВИПРАВЛЕНЬ БІНАРНИХ ВРАЗЛИВОСТЕЙ СИСТЕМ КРИТИЧНОЇ ІНФРАСТРУКТУРИ
Завантажити
Завантажити PDF