Страницы, ссылающиеся на «Статическая верификация модулей ядра Linux — текущие достижения и перспективы (Евгений Новиков, SECR-2014)»
Материал из 0x1.tv
Следующие страницы ссылаются на «Статическая верификация модулей ядра Linux — текущие достижения и перспективы (Евгений Новиков, SECR-2014)»:
Просмотреть (предыдущие 50 | следующие 50) (20 | 50 | 100 | 250 | 500)- 20141023DE (страница-перенаправление) (← ссылки)