Керівник: Летичевський Олександр Олександрович. Розробити формальні методи виявлення вразливостей програмних систем.
Інститут кібернетики імені В. М. Глушкова Національної академії наук України. № 0119U002220
Оновлено: 2026-10-22