Фокина Наталья Юрьевна

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

1. Static dependency analysis for semantic data validation
   
   Труды ИСП РАН, 30:3 (2018),  271–284
2. Автоматизированная генерация декодеров машинных команд
   
   Труды ИСП РАН, 30:2 (2018),  65–80