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