Файл:Статическая верификация модулей ядра Linux — текущие достижения и перспективы (Евгений Новиков, SECR-2014).pdf

Материал из 0x1.tv

Перейти на страницу


История файла

Нажмите на дату/время, чтобы просмотреть, как тогда выглядел файл.

Дата/времяМиниатюраРазмерыУчастникПримечание
текущий00:27, 3 декабря 2014Миниатюра для версии от 00:27, 3 декабря 2014793 × 446, 13 страниц (1,34 МБ)StasFomin (обсуждение | вклад)
  • Вы не можете перезаписать этот файл.