Дворцова Варвара Викторовна

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

1. Статический анализ ассоциативных массивов в Go
   
   Труды ИСП РАН, 36:3 (2024),  21–34
2. Статический анализатор для языков с обработкой исключений
   
   Труды ИСП РАН, 34:6 (2022),  7–28