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