%0 Journal Article
%A M. I. Glukhikh
%A V. M. Itsykson
%A V. A. Tsesko
%T The use of dependencies for improving the precision of program static analysis
%J Modelirovanie i analiz informacionnyh sistem
%D 2011
%P 68-79
%V 18
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2011_18_4_a6/
%G ru
%F MAIS_2011_18_4_a6