Старолетов Сергей Михайлович Россия, Барнаул Степень кандидат физико-математических наук Область научных интересов верификация программ операционные системы Место работы и должность Алтайский государственный технический университет — доцент Адрес электронной почты serg_soft@mail.ru
Старолетов С.М. Проектирование и реализация программного обеспечения для подготовки воды с использованием автоматного подхода и анализа спецификаций // Системная информатика. — 2017. — № 10. — С. 33-44
Старолетов С.М., Дубко А.В. Метод верификации параллельного и распределенного программного обеспечения на C# путем проведения трансформации абстрактного синтаксического дерева Roslyn в модель на Promela // Системная информатика. — 2019. — № 15. — С. 13-44
Старолетов С.М. Преподавание дисциплины «Тестирование и верификация программного обеспечения» будущим программистам // Системная информатика. — 2022. — № 21. — С. 1-28
