PROGRAMS AND PROGRAM VERIFICATIONS IN A GENERAL SETTING

被引：19
作者：
CSIRMAZ, L
机构：
来源：
THEORETICAL COMPUTER SCIENCE | 1981年 / 16卷 / 02期
关键词：
D O I：
10.1016/0304-3975(81)90076-1
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：199 / 210
页数：12
相关论文
共 6 条
[1]  
ANDREKA H, 1978, B SECTION LOGIC WROC, V7, P115
[2]  
CHANG C. C., 1973, MODEL THEORY
[3]   SOUNDNESS AND COMPLETENESS OF AN AXIOM SYSTEM FOR PROGRAM VERIFICATION [J].
COOK, SA .
SIAM JOURNAL ON COMPUTING, 1978, 7 (01) :70-90
[4]  
CSIRMAZ L, 1979, B SECTION LOGIC WROC, V8, P148
[5]  
KLEENE SC, 1952, INTRO METAMATHEMATIC
[6]  
MANNA Z, 1974, MATH THEORY COMPUTAT
1