ИСТИНА |
Войти в систему Регистрация |
|
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
For advancing the state of the art in Large-Scale Equivalence Checking and Functional Correction
№ | Имя | Описание | Имя файла | Размер | Добавлен |
---|---|---|---|---|---|
1. | CAD Contest at ICCAD 2015 1st Place Award | 2015-CAD-Contest-at-ICCAD-msu.jpg | 303,2 КБ | 7 декабря 2015 [ShupletsovMS] |