Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету
Класифікатори
підхід, подход
подход CEGAR
Документи:
Мордань, В. О.
Проверка нескольких требований за один запуск инструмента статической верификации с помощью CEGAR [Текст] / В. О. Мордань, В. С. Мутилин // Программирование. – 2016. – № 4. – С. 50-68.
Інформаційно-пошукова система
'УФД/Бібліотека'
