USENIX Security 15 - Under-Constrained Symbolic Execution: Correctness Checking for Real Code
Смотрите видео USENIX Security 15 - Under-Constrained Symbolic Execution: Correctness Checking for Real Code онлайн без регистрации, длительностью 30 минут 15 секунд в хорошем sd качестве. Это видео добавил пользователь USENIX 10 Декабрь 2021, не забудьте поделиться им ссылкой с друзьями и знакомыми, на нашем сайте его посмотрели 433 раз и оно понравилось 4 людям.