Институт системного программирования им. В.П. Иванникова РАН


База правил для верификации драйверов Linux.

Авторы

В. Мутилин, А. Хорошилов.

Издание

(тезисы) Сборник докладов Шестой конференции разработчиков свободных программ на Протве, стр.22, Обнинск, 27-28 июня 2009 г.

Научная группа

Технологии программирования

Все публикации за 2009 год Все публикации