Кондратьев Дмитрий Александрович Россия, Новосибирск Область научных интересов семантика программ верификация программ языки программирования Место работы и должность Институт систем информатики им. А.П. Ершова СО РАН — аспирант Адрес электронной почты apple-66@mail.ru
Кондратьев Д.А., Промский А.В. Комплексный подход к локализации ошибок при верификации Си-программ // Системная информатика. — 2013. — № 1. — С. 79-96
Кондратьев Д.А., Марьясов И.В., Непомнящий В.А. Верификация финитной итерации над массивами с выходом из цикла в Си программах // Системная информатика. — 2017. — № 10. — С. 57-66
Кондратьев Д.А., Промский А.В. На пути к автоматизированной локализации ошибок в C программах с циклами // Системная информатика. — 2019. — № 14. — С. 31-44
