Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://hdl.handle.net/11701/45895
Название: | Development of taint analysis for the KLEE symbolic machine |
Другие названия: | Разработка taint анализа для символьной машины KLEE |
Авторы: | Мисонижник Александр Владимирович Misoniznik Aleksandr Vladimirovic Козловцева Мария Сергеевна Kozlovceva Maria Sergeevna Мордвинов Дмитрий Александрович Mordvinov Dmitrij Aleksandrovic |
Дата публикации: | 2024 |
URI (Унифицированный идентификатор ресурса): | http://hdl.handle.net/11701/45895 |
Располагается в коллекциях: | BACHELOR STUDIES |
Файлы этого ресурса:
Файл | Описание | Размер | Формат | |
---|---|---|---|---|
st068803.pdf | Article | 405,68 kB | Adobe PDF | Просмотреть/Открыть |
reviewSV_Otzyv_naucnogo_rukovoditela_Kozlovceva.pdf | ReviewSV | 69,39 kB | Adobe PDF | Просмотреть/Открыть |
reviewSV_st068803_Kozlovceva_Maria_Sergeevna_(supervisor)(Ru).txt | ReviewSV | 5,38 kB | Text | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.