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