“安全内核的结构化规范。”
肯尼思·沃尔特 , 塞缪尔·沙恩 , 威廉·奥格登 , 威廉·C·罗兹 , D.G.Shumway公司 , D.D.谢弗 , K.J.比巴 , 弗兰克林·T·布拉德肖 , S.R.艾姆斯 , J.M.吉利根 :
安全内核的结构化规范。 可靠的软件 1975 : 285-293
由于不可用的引用数据,下面的列表可能是不完整的, 引用字符串可能未成功映射到dblp中列出的项,并且 我们没有针对这些列表中给出的所有项目的完整和精心策划的元数据。
![](https://dblp.org/img/cog.dark.24x24.png)