TY  - JOUR
AU  - M. S. Chushkin
TI  - Sketch completion for predicate programs by counterexamples guided synthesis
JO  - Prikladnaya Diskretnaya Matematika. Supplement
PY  - 2017
SP  - 151
EP  - 153
IS  - 10
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PDMA_2017_10_a58/
LA  - ru
ID  - PDMA_2017_10_a58
ER  -