20141023DE
Материал из 0x1.tv
Версия от 00:27, 3 декабря 2014;
StasFomin
(
обсуждение
|
вклад
)
(Redirected page to
Статическая верификация модулей ядра Linux — текущие достижения и перспективы (Евгений Новиков, SECR-2014)
)
(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Страница-перенаправление
Перенаправление на:
Статическая верификация модулей ядра Linux — текущие достижения и перспективы (Евгений Новиков, SECR-2014)