Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
ИСТИНА ИНХС РАН
Главная
Поиск
Статистика
О проекте
Помощь
Построение предиката пути как задача абстрактной интерпретации бинарного кода
доклад на конференции
Авторы:
Соловьев М.А.
,
Манушин Д.В.
,
Папазьян Е.Ю.
,
Макаров С.С.
Локальная Конференция :
Ломоносовские чтения-2020. Секция "Вычислительной математики и кибернетики (НИВЦ)"
Даты проведения конференции:
29 октября 2020
Дата доклада:
23 октября 2020
Тип доклада:
Устный
Докладчик:
не указан
не указан
Соловьев М.А.
Манушин Д.В.
Папазьян Е.Ю.
Макаров С.С.
Место проведения:
Russia
Добавил в систему:
Манушин Дмитрий Валерьевич