Рагозина Полина Ильинична

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

1. Обнаружение ошибок взаимоисключающей блокировки в программах на языке С# при помощи методов статического анализа
   
   Труды ИСП РАН, 34:4 (2022),  63–78