Tsesko Vadim Aleksandrovich

Publications in Math-Net.Ru

1. The use of dependencies for improving the precision of program static analysis
   
   Model. Anal. Inform. Sist., 18:4 (2011),  68–79
2. LLVM-based static analysis tool using type and effect systems
   
   Model. Anal. Inform. Sist., 18:4 (2011),  45–55