Correctness by construction: Developing a commercial secure system (vol 19, pg 18, 2002)

被引：0

作者：

Hall, A

Chapman, R

机构：

来源：

IEEE SOFTWARE | 2002年 / 19卷 / 02期

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：10 / 10

页数：1

相关论文

共 1 条

[1] Correctness by construction: Developing a commercial secure system [J].

Hall, A ;

Chapman, R .

IEEE SOFTWARE, 2002, 19 (01) :18-+