Информатика, вычислительная техника и управление. Диссертация Автоматизация конструирования генераторов тестовых программ для микропроцессоров на основе формальных спецификаций, , 2017