%0 Journal Article
%A M. M. Atuchin
%A I. S. Anureev
%T Attribute annotations and their use in C program deductive verification
%J Modelirovanie i analiz informacionnyh sistem
%D 2011
%P 21-33
%V 18
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2011_18_4_a2/
%G ru
%F MAIS_2011_18_4_a2