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