Интегрированная методика автоматизированного построения формальных поведенческих моделей С-приложений по исходному коду
Юсупов Юрий Вадимович. Интегрированная методика автоматизированного построения формальных поведенческих моделей С-приложений по исходному коду : диссертация ... кандидата технических наук : 05.13.11 / Юсупов Юрий Вадимович; [Место защиты: С.-Петерб. политехн. ун-т].- Санкт-Петербург, 2009.- 179 с.: ил. РГБ ОД, 61 09-5/3100