Старолетов Сергей Михайлович Россия, Барнаул Степень кандидат физико-математических наук Область научных интересов верификация программ операционные системы Место работы и должность Алтайский государственный технический университет — доцент Адрес электронной почты serg_soft@mail.ru
Старолетов С.М. Проектирование и реализация программного обеспечения для подготовки воды с использованием автоматного подхода и анализа спецификаций // Системная информатика. — 2017. — № 10. — С. 33-44