Mulyukov Rodion Rodionovich

Publications in Math-Net.Ru

1. Using unreachable code analysis in static analysis tool for finding defects in source code
   
   Proceedings of ISP RAS, 28:5 (2016),  145–158