Вы здесь

Главная

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

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

Предложения по содержанию и функционированию сайта направляйте по адресу cmcproject@cs.msu.ru.

Подписка на Сбор новостей

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