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