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