Шошмина Ирина Владимировна Россия, Санкт-Петербург Степень кандидат технических наук Область научных интересов верификация программ распределенные системы Место работы и должность Санкт-Петербургский политехнический университет Петра Великого — старший преподаватель Адрес электронной почты ishoshmina@dcn.icc.spbstu.ru
Шошмина И.В. Разработка формальных требований к поведению распределенных программных систем // Системная информатика. — 2016. — № 8. — С. 21-32
