Saukh Anton Mikhailovich

Publications in Math-Net.Ru

1. Analysis of some program sources semantic aspects based on formal syntax and semantics specifications
   
   Prikl. Diskr. Mat. Suppl., 2012, no. 5,  110–111