%0 Journal Article
%A D. A. Kondratyev
%A I. V. Maryasov
%A V. A. Nepomnyaschy
%T The automation of C program verification by symbolic method of loop invariants elimination
%J Modelirovanie i analiz informacionnyh sistem
%D 2018
%P 491-505
%V 25
%N 5
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2018_25_5_a3/
%G ru
%F MAIS_2018_25_5_a3