文
论文分享
演练场
杂货铺
论文推荐
字
编辑器下载
登录
注册
E. M. Novikov
发表
Configurable Toolset for Static Verification of Operating Systems Kernel Modules
Alexander K. Petrenko, Alexey V. Khoroshilov, Vadim S. Mutilin, 2014 .