论文信息 - Configurable Toolset for Static Verification of Operating Systems Kernel Modules - 字舞流文

Configurable Toolset for Static Verification of Operating Systems Kernel Modules

Alexander K. Petrenko | Alexey V. Khoroshilov | Vadim S. Mutilin | E. M. Novikov | Ilja S. Zakharov | Mikhail U. Mandrykin | Alexey V. Khoroshilov | Ilja S. Zakharov | E. M. Novikov