Информатика, вычислительная техника и управление. Диссертация Интегрированная методика автоматизированного построения формальных поведенческих моделей С-приложений по исходному коду : диссертация ... кандидата технических наук : 05.13.11, Санкт-Петербург, 2009