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