Tarasov Artem Yuryevich

Publications in Math-Net.Ru

1. Research and development of interprocedural algorithms for defect searching in executable program code
   
   Proceedings of ISP RAS, 31:6 (2019),  89–98