未找到相关数据
PROVING CORRECTNESS OF STRATEGIES IN AL1 ASSERTIONAL LANGUAGE
被引：10
作者：
BRATKO, I
机构：
关键词：
D O I：
10.1016/0020-0190(78)90004-2
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：223 / 230
页数：8
相关论文