2 citations to https://www.mathnet.ru/rus/mais644

1. D. A. Kondratyev, A. V. Promsky, “The complex approach of the c-lightver system to the automated error localization in c-programs”, Autom. Control Comp. Sci., 54:7 (2020), 728–739        
2. Д. А. Кондратьев, А. В. Промский, “Комплексный подход системы C-lightVer к автоматизированной локализации ошибок в C-программах”, Модел. и анализ информ. систем, 26:4 (2019), 502–519