Modeling Environment for Static Verification of Linux Kernel Modules.

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 год Все публикации