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