Тема проекта:
Применение теории схем программ и теории автоматов для решения задач верификации и оптимизации программ
Номер регистрационной карты:
AAAA-A18-118021590225-8
Тип проекта:
РФФИ
Номер проекта:
18-01-00854_а
Период выполнения:
2018 to 2020
Статус:
выполняется
Категория проекта:
Проекты 2018 года
Проекты 2019 года
Проекты 2020 года