Verification of programs: status, problems and experimental results. II

Prombles in programming 2014; 1: 76-89

Збережено в:
Бібліографічні деталі
Дата:2025
Автор: Maksymets, A.N.
Формат: Стаття
Мова:Russian
Опубліковано: PROBLEMS IN PROGRAMMING 2025
Теми:
Онлайн доступ:https://pp.isofts.kiev.ua/index.php/ojs1/article/view/733
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Problems in programming
Завантажити файл: Pdf

Репозитарії

Problems in programming