Ldv-static-verification-zaharov-ossdevconf — различия между версиями
Материал из 0x1.tv
Текущая версия на 17:49, 26 сентября 2013
(
просмотреть исходный код
)
StasFomin
(
обсуждение
|
вклад
)
(#REDIRECT
Генерация_модели_окружения_для_группы_модулей_ядра_для_статической_верификации_(Илья_Захаров,_OSSDEVCONF-2013)
)
(нет различий)
Текущая версия на 17:49, 26 сентября 2013
Перенаправление на:
Генерация модели окружения для группы модулей ядра для статической верификации (Илья Захаров, OSSDEVCONF-2013)