Ldv-static-verification-zaharov-ossdevconf — различия между версиями

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

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

Текущая версия на 17:49, 26 сентября 2013

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

  • Генерация модели окружения для группы модулей ядра для статической верификации (Илья Захаров, OSSDEVCONF-2013)
Источник — «https://0x1.tv/index.php?title=Ldv-static-verification-zaharov-ossdevconf&oldid=1267»