Вы здесь
Проверка нескольких требований за один запуск инструмента статической верификации с помо ью CEGAR
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2016
Ключевые слова:
Стр.:
С.50-68
Библиография:
Библиогр.: c.67-68
Источник:
Номер:
4
Карточка:
Б3.54.
Мордань В. О., Мутилин В. С..
Проверка нескольких требований за один запуск инструмента статической верификации с помо ью CEGAR// Программирование-2016, №4.-С.50-68
Библиогр.: c.67-68
Таблица в старой библиотеке:
PAP31 985