Кулямин Виктор Вячеславович Россия, Москва Степень кандидат физико-математических наук Звание Доцент Область научных интересов верификация программ тестирование программ Место работы и должность Институт системного программирования РАН им. В.П.Иванникова — ведущий научный сотрудник Московский государственный университет им. М.В. Ломоносова — доцент Адрес электронной почты kuliamin@ispras.ru
Кулямин В.В., Петренко А.К., Хорошилов А.В. Верификация компонентов операционных систем // Системная информатика. — 2017. — № 10. — С. 11-22
