Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету
Класифікатори
метод
метод статистической верификации
Документи:
Конфигурируемая система статической верификации модулей ядра операционных систем [Текст] / И. С. Захаров, М. У. Мандрыкин, В. С. Мутилин [и др.] // Программирование. – 2015. – № 1. – С. 44-67.
Інформаційно-пошукова система
'УФД/Бібліотека'
