Захаров Илья Сергеевич

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

1. Экспертная оценка результатов верификации инструментов верификации моделей программ
   
   Труды ИСП РАН, 32:5 (2020),  7–20
2. Инкрементальное построение спецификаций моделей окружения и требований для подсистем монолитного ядра операционных систем
   
   Труды ИСП РАН, 29:6 (2017),  25–48