Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://hdl.handle.net/11701/42121
Название: | Development of the static analyzer based on symbolic execution |
Другие названия: | Разработка статического анализатора на основе символьного исполнения |
Авторы: | Соболь Валентин Sobol Valentin Строганов Никита Сергеевич Stroganov Nikita Sergeevic Шалымов Дмитрий Сергеевич Salymov Dmitrij Sergeevic |
Дата публикации: | 2023 |
URI (Унифицированный идентификатор ресурса): | http://hdl.handle.net/11701/42121 |
Располагается в коллекциях: | BACHELOR STUDIES |
Файлы этого ресурса:
Файл | Описание | Размер | Формат | |
---|---|---|---|---|
st076433.pdf | Article | 643,52 kB | Adobe PDF | Просмотреть/Открыть |
reviewSV_st076433_Stroganov_Nikita_Sergeevic_(supervisor)(Ru).txt | ReviewSV | 3,12 kB | Text | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.