|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Verified Isabelle/HOL Tactic for the Theory of Bounded Linear Integer Arithmetic Based on Quantifier Instantiation and SMTдоклад на конференции
- Авторы: Садыков Р.Ф., Мандрыкин М.У.
- Международная Конференция : Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE)
- Даты проведения конференции: 28-29 мая 2020
- Дата доклада: 28 мая 2020
- Тип доклада: Устный
- Докладчик: Садыков Р.Ф.
- Место проведения: Zoom, internet, Russia
- Доклад на конференции выполнен в рамках проекта (проектов):
- Добавил в систему: Садыков Рафаэль Фаритович