Shelekhov Vladimir Ivanovich

Publications in Math-Net.Ru

1. Methods for synthesizing predicate program pieces
   
   Prikl. Diskr. Mat. Suppl., 2016, no. 9,  126–128
2. Verification and synthesis of addition programs under the rules of statement correctness
   
   Model. Anal. Inform. Sist., 17:4 (2010),  101–110