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


Моделирование окружения с использованием шаблонов для статической верификации модулей ядра Linux

Авторы

И.С. Захаров, В.С. Мутилин, А.В. Хорошилов.

Издание

Программирование, Том 41, 2015, №3, сс. 183-195.

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

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

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