%0 Journal Article
%A A. V. Klepinin
%A A. A. Melent'ev
%T Integration of semantic verification into Java compilers
%J Modelirovanie i analiz informacionnyh sistem
%D 2010
%P 70-77
%V 17
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2010_17_4_a7/
%G ru
%F MAIS_2010_17_4_a7