|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2016 |
| 1. |
В. К. Кошелев, “Формализация определения ошибок при статическом символьном выполнении”, Труды ИСП РАН, 28:5 (2016), 105–118   |
2
|
| 2. |
И. А. Дудина, В. К. Кошелев, А. Е. Бородин, “Поиск ошибок доступа к буферу в программах на языке C/C++”, Труды ИСП РАН, 28:4 (2016), 149–168 |
5
|
| 3. |
В. К. Кошелев, В. Н. Игнатьев, А. И. Борзилов, “Инфраструктура статического анализа программ на языке C#”, Труды ИСП РАН, 28:1 (2016), 21–40 |
8
|
|
2015 |
| 4. |
В. К. Кошелев, И. А. Дудина, В. Н. Игнатьев, А. И. Борзилов, “Чувствительный к путям поиск дефектов в программах на языке C# на примере разыменования нулевого указателя”, Труды ИСП РАН, 27:5 (2015), 59–86 |
9
|
|
