D. A. Kondratyev, I. V. Maryasov, V. A. Nepomniaschy, “The automation of C program verification by the symbolic method of loop invariant elimination”, Autom. Control Comp. Sci., 53:7 (2019), 653–662
Dmitry Kondratyev, Alexei Promsky, Lecture Notes in Computer Science, 11771, Software Technology: Methods and Tools, 2019, 113
Dmitry Kondratyev, Ilya Maryasov, Valery Nepomniaschy, Lecture Notes in Computer Science, 11964, Perspectives of System Informatics, 2019, 232
D. A. Kondratev, I. V. Maryasov, V. A. Nepomnyaschii, “Avtomatizatsiya verifikatsii C-programm s ispolzovaniem simvolicheskogo metoda eliminatsii invariantov tsiklov”, Model. i analiz inform. sistem, 25:5 (2018), 491–505
Dmitry Kondratyev, Ilya Maryasov, Valery Nepomniaschy, “The Automation of C Program Verification by Symbolic Method of Loop Invariants Elimination”, Model. anal. inf. sist., 25:5 (2018), 491