%0 Journal Article
%A A. O. Zhukovskaya
%A D. A. Stefantsov
%T Development of automated means for proving programs properties
%J Prikladnaya Diskretnaya Matematika. Supplement
%D 2014
%P 148-150
%N 7
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PDMA_2014_7_a63/
%G ru
%F PDMA_2014_7_a63