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
Д. А. Кондратьев, И. В. Марьясов, В. А. Непомнящий, “Автоматизация верификации C-программ с использованием символического метода элиминации инвариантов циклов”, Модел. и анализ информ. систем, 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