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