Мулюков Родион Родионович

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

1. Использование анализа недостижимого кода в статическом анализаторе для поиска ошибок в исходном коде программ
   
   Труды ИСП РАН, 28:5 (2016),  145–158