%0 Journal Article
%A M. S. Chushkin
%T Sketch completion for predicate programs by counterexamples guided synthesis
%J Prikladnaya Diskretnaya Matematika. Supplement
%D 2017
%P 151-153
%N 10
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PDMA_2017_10_a58/
%G ru
%F PDMA_2017_10_a58