Миронов Андрей Михайлович (кандидат физико-математических наук, доцент)

• Дипломная работа (2019): Верификация алгоритма нахождения консенсуса с использованием верификатора Spin.