未找到相关数据
SOUNDNESS AND COMPLETENESS OF AN AXIOM SYSTEM FOR PROGRAM VERIFICATION
被引：222
作者：
COOK, SA
机构：
关键词：
D O I：
10.1137/0207005
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：70 / 90
页数：21
相关论文