Автоматический статический анализ программных систем, записанных на языках программирования семейства С
Сафин Ленар Камилевич. Автоматический статический анализ программных систем, записанных на языках программирования семейства С: диссертация ... кандидата Технических наук: 05.13.11 / Сафин Ленар Камилевич;[Место защиты: ФГАОУ ВО «Санкт-Петербургский государственный электротехнический университет «ЛЭТИ» им. В.И. Ульянова (Ленина)»], 2018