|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Межпроцедурный контекстно-чувствительный статический анализ для поиска ошибок в исходном коде программ на языках Си и Си++диссертация
- Научный руководитель: Белеванцев А.А.
- Автор: Бородин А.Е.
- Дата защиты: 16 июня 2016 года
- Шифр диссертационного совета: Д 002.087.01
- Организация: ИСП РАН
- Область знаний: Физика и математика
- Специальность: 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
- Тип диссертации: Кандидатская
- Добавил в систему: Белеванцев Андрей Андреевич