Зведений каталог бібліотек Миколаєва

• Класифікатори та каталоги
• Комп'ютерне програмування

Контроль та налагоджування програм

Документи:

• Обзор современных систем и методов верификации формальных моделей [Текст] / А.В. Колчин, А.А. Летичевский, С.В. Потиенко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 75-88.