Чибисов Кирилл Алексеевич

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

1. TSAR: инструмент для оценки статических анализаторов
   
   Труды ИСП РАН, 37:2 (2025),  79–96
2. Проверка программ на соответствие стандарту MISRA C с использованием инфраструктуры Clang
   
   Труды ИСП РАН, 35:5 (2023),  169–192