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