Menshikov Maxim Alexandrovich

Publications in Math-Net.Ru

1. Review of static analyzer service models
   
   Proceedings of ISP RAS, 33:3 (2021),  27–40
2. Static analyzer debugging and quality assurance approaches
   
   Proceedings of ISP RAS, 32:3 (2020),  33–47