PROVING PROGRAMS TO BE CORRECT

被引：12

作者：

KING, JC

机构：

来源：

关键词：

D O I：

10.1109/T-C.1971.223135

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：1331 / &

相关论文

共 6 条

[1]

COOPER DC, 1969, 4 ANN MACH INT WORKS

[2]

Floyd R. W., 1967, COMPUT SCI RES REV, P18

[3]

Floyd R. W., 1967, P S APPL MATH, V19, P19, DOI DOI 10.1090/PSAPM/019/0235771

[4]

KING J, 1969, THESIS CARNEGIE MELL

[5]

MANNA Z, 1969, J COMPUT SYST SCI

[6]

NEUMANN JV, 1961, COLLECTED WORKS JOHN, V5, P80