Поляков Сергей Андреевич

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

1. Kotlin с точки зрения разработчика статического анализатора
   
   Труды ИСП РАН, 33:6 (2021),  67–82
2. Обнаружение дефекта взаимной блокировки с помощью статического анализа
   
   Труды ИСП РАН, 32:5 (2020),  21–34
3. Анализ программ на языке Java в инструменте Svace
   
   Труды ИСП РАН, 29:3 (2017),  57–74