SAL 2

被引：0

作者：

de Moura, L ^{[1
]}

Owre, S ^{[1
]}

Ruess, H ^{[1
]}

Rushby, J ^{[1
]}

Shankar, N ^{[1
]}

Sorea, M ^{[1
]}

Tiwari, A ^{[1
]}

机构：

[1] SRI Int, Comp Sci Lab, Menlo Pk, CA 94025 USA

来源：

COMPUTER AIDED VERIFICATION | 2004年 / 3114卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：496 / 500

页数：5

相关论文

empty

未找到相关数据