Chushkin Mikhail Sergeevich

Publications in Math-Net.Ru

1. Sketch completion for predicate programs by counterexamples guided synthesis
   
   Prikl. Diskr. Mat. Suppl., 2017, no. 10,  151–153
2. Methods for synthesizing predicate program pieces
   
   Prikl. Diskr. Mat. Suppl., 2016, no. 9,  126–128