|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Деятельность
-
Доклады на конференциях
-
- 2019 Применение SMT-солверов в статическом и динамическом символьном выполнении: экспериментальное исследование (Устный)
- Авторы: Никита Малышев, Ирина Дудина, Даниил Куц, Александр Новиков, Сергей Вартанов
- Открытая конференция ИСП РАН им. В.П.Иванникова, Главное здание Российской академии наук, Москва, Россия, 5-6 декабря 2019
-