|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Введение в метод CEGAR - уточнение абстракции по контрпримерамстатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАК- Авторы: Мандрыкин М.У., Mutilin V.S., Хорошилов А.В.
- Журнал: Труды Института системного программирования РАН (электронный журнал)
- Том: 24
- Год издания: 2013
- Первая страница: 219
- Последняя страница: 292
- Добавил в систему: Корныхин Евгений Валерьевич