Тестирование софта - статьи
Верификация компиляторов - систематический подход
С.В. Зеленов, Н.В. Пакулин,
Труды Института системного программирования РАН
Содержание раздела
