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