Проект РФФИ № 18-01-00854_а

Тема проекта:

Применение теории схем программ и теории автоматов для решения задач верификации и оптимизации программ

Номер регистрационной карты:

AAAA-A18-118021590225-8

Тип проекта:

РФФИ

Номер проекта:

18-01-00854_а

Период выполнения:

2018 to 2020

Статус:

выполняется

Категория проекта:

Проекты 2018 года

Проекты 2019 года

Проекты 2020 года

Events

01 June 2015

The Faculty Site is in the adjustment state. Any comments on the contents and functioning of the site should be addressed to cmcproject@cs.msu.ru.

Все материалы сайта доступны по лицензии Creative Commons Attribution 4.0 International