%0 Journal Article
%A M. S. Chushkin
%A V. I. Shelekhov
%T Methods for synthesizing predicate program pieces
%J Prikladnaya Diskretnaya Matematika. Supplement
%D 2016
%P 126-128
%N 9
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PDMA_2016_9_a49/
%G ru
%F PDMA_2016_9_a49