未找到相关数据
TEST ROUTINES BASED ON SYMBOLIC LOGICAL STATEMENTS
被引：76
作者：
ELDRED, RD
机构：
关键词：
D O I：
10.1145/320954.320957
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：33 / 36
页数：4
相关论文