|
Автор(ы): Заглавие: Расширение функциональности этапа статического анализа компилятора "clang" для верификации корректности значений указателей : выпускная квалификационная работа, научный руководитель Малявко Александр Антонович. Выходные данные: Новосибирск, 2025. Полное описание
|