Klepinin Aleksandr Vladimirovich

Publications in Math-Net.Ru

1. Integration of semantic verification into Java compilers
   
   Model. Anal. Inform. Sist., 17:4 (2010),  70–77
2. On the combinatorial properties of the Arshon sequence
   
   Diskretn. Anal. Issled. Oper., Ser. 1, 6:2 (1999),  23–40