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

• Курсовая работа (2025): Обзор инструмента Сертора Прувер Санбим: Верификация для Соробан и сравнение его с другими инструментами формальной верификации.