Ldv-static-verification-zaharov-ossdevconf

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

Версия от 17:49, 26 сентября 2013; StasFomin (обсуждение | вклад) (#REDIRECT Генерация_модели_окружения_для_группы_модулей_ядра_для_статической_верификации_(Илья_Захаров,_OSSDEVCONF-2013))

(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)

Страница-перенаправление

Перенаправление на:

Генерация модели окружения для группы модулей ядра для статической верификации (Илья Захаров, OSSDEVCONF-2013)

Источник — «https://0x1.tv./index.php?title=Ldv-static-verification-zaharov-ossdevconf&oldid=1267»