Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: 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.pdfArticle643,52 kBAdobe PDFПросмотреть/Открыть
reviewSV_st076433_Stroganov_Nikita_Sergeevic_(supervisor)(Ru).txtReviewSV3,12 kBTextПросмотреть/Открыть


Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.