|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Extracting Assertions for Conflicts in HDL Descriptionsдоклад на конференции
- Авторы: Sergey Smolov, Alexander Kamkin, Mikhail Lebedev
- Международная Конференция : Spring/Summer Young Researchers' Colloquium on Software Engineering - 2019
- Даты проведения конференции: 29-31 мая 2019
- Дата доклада: 30 мая 2019
- Тип доклада: Устный
- Докладчик: не указан
- Место проведения: Саратов, Russia
- Добавил в систему: Корныхин Евгений Валерьевич