Шошмина Ирина Владимировна

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

1. Соревнования по формальной верификации VeHa-2023: опыт проведения
   
   Труды ИСП РАН, 36:2 (2024),  141–168
2. Проектирование программных бортовых систем управления с поддержкой верификации
   
   Модел. и анализ информ. систем, 17:4 (2010),  125–136