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