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