локализация ошибок

Кондратьев Д.А. Промский А.В. Комплексный подход к локализации ошибок при верификации Си-программ // Системная информатика. — . — № 1.  — С. 79-96
Кондратьев Д.А. Промский А.В. На пути к автоматизированной локализации ошибок в C программах с циклами // Системная информатика. — . — № 14.  — С. 31-44
Подписаться на локализация ошибок