%0 Journal Article
%A A. M. Saukh
%T Analysis of some program sources semantic aspects based on formal syntax and semantics specifications
%J Prikladnaya Diskretnaya Matematika. Supplement
%D 2012
%P 110-111
%N 5
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PDMA_2012_5_a58/
%G ru
%F PDMA_2012_5_a58