Меньшиков Максим Александрович

Публикации в базе данных Math-Net.Ru

1. Review of static analyzer service models
   
   Труды ИСП РАН, 33:3 (2021),  27–40
2. Static analyzer debugging and quality assurance approaches
   
   Труды ИСП РАН, 32:3 (2020),  33–47