|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Towards Deductive Verification of Concurrent Linux Kernel Code with Jessieдоклад на конференции
- Авторы: Khoroshilov Alexey, Mandrykin M.U.
- Международная Конференция : 10th International Conference on Computer Science and Information Technologies
- Даты проведения конференции: 28 сентября - 2 октября 2015
- Дата доклада: 28 сентября 2015
- Тип доклада: Устный
- Докладчик: Khoroshilov Alexey
- Место проведения: Ереван, Armenia
- Добавил в систему: Корныхин Евгений Валерьевич