CORRECTION

被引：9

作者：

COOK, SA

机构：

来源：

SIAM JOURNAL ON COMPUTING | 1981年 / 10卷 / 03期

关键词：

D O I：

10.1137/0210045

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

收藏

页码：612 / 612

页数：1

相关论文

共 1 条

[1] SOUNDNESS AND COMPLETENESS OF AN AXIOM SYSTEM FOR PROGRAM VERIFICATION [J].

COOK, SA .

SIAM JOURNAL ON COMPUTING, 1978, 7 (01) :70-90