Kondratyev D., Maryasov I., Nepomniaschy V. Verification of Definite Iteration over Arrays with a Loop Exit in C Programs // # 10, 2017
Kondratyev D., Promsky A. An integrated approach to the error localization during C program verification // # 1, 2013
Kondratyev D., Promsky A. Towards automated error localization in C programs with loops // # 14, 2019
