Automatic verification of object code against source code

被引：0

作者：

Subramanian, S ^{[1
]}

Cook, JV ^{[1
]}

机构：

[1] TRUSTED INFORMAT SYST,MT VIEW,CA 94041

来源：

COMPASS '96 - PROCEEDINGS OF THE ELEVENTH ANNUAL CONFERENCE ON COMPUTER ASSURANCE: SYSTEMS INTEGRITY, SOFTWARE SAFETY, PROCESS SECURITY | 1996年

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：46 / 55

页数：10