Интегрированная методика автоматизированного построения формальных поведенческих моделей C-приложений по исходному коду : автореф. дис. на соиск. учен. степ. канд. техн. наук : специальность 05.13.11 <Мат. и програм. обеспечение вычисл. машин, комплексов и компьютер. сетей>
Интегрированная методика автоматизированного построения формальных поведенческих моделей C-приложений по исходному коду : автореф. дис. на соиск. учен. степ. канд. техн. наук : специальность 05.13.11 <Мат. и програм. обеспечение вычисл. машин, комплексов и компьютер. сетей>