|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Sound Static Analysis for Security Workshop 2018Семинар (workshop)
- Охват: Международная
- Даты проведения: 27-28 июня 2018
- Место проведения: Гейтерсберг, Мэриленд, США, United States
- Веб-сайт: https://www.adacore.com/sound-static-analysis-workshop
- Добавил в систему: Хорошилов Алексей Владимирович
Доклады:
- 2018 Proving sequential properties of unmodified Linux kernel code (Устный)
- Автор: alexey Khoroshilov