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


Modeling Environment for Static Verification of Linux Kernel Modules.

Авторы

Khoroshilov A., Mutilin V., Novikov E., Zakharov I.

Издание

Proceedings of PSI, pp. 116-125, 2014.

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

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

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