Требуется авторизация
Материал из 0x1.tv
Вы должны представиться для изменения страниц.
Возврат к странице Файл:Генерация модели окружения для группы модулей ядра для статической верификации (Илья Захаров, OSSDEVCONF-2013).pdf.