Ldv-static-verification-zaharov-ossdevconf

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

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