Vasileva Vera Igorevna

Publications in Math-Net.Ru

1. Detection of dead function calls as source code defects through static analysis
   
   Proceedings of ISP RAS, 37:4(1) (2025),  65–78