%0 Journal Article
%A D. A. Kondratyev
%A A. V. Promsky
%T The complex approach of the C-lightVer system to the automated error localization in C-programs
%J Modelirovanie i analiz informacionnyh sistem
%D 2019
%P 502-519
%V 26
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2019_26_4_a3/
%G ru
%F MAIS_2019_26_4_a3