计算机工程与科学 ›› 2009, Vol. 31 ›› Issue (3): 24-26.
• • 上一篇 下一篇
尹中旭,吴灏
出版日期:
发布日期:
Online:
Published:
尹中旭, 吴灏. 操作系统安全验证形式化分析框架[J]. 计算机工程与科学, 2009, 31(3): 24-26.
0 / / 推荐
导出引用管理器 EndNote|Ris|BibTeX
链接本文: http://joces.nudt.edu.cn/CN/
http://joces.nudt.edu.cn/CN/Y2009/V31/I3/24