APPLICATION OF FORMAL LOGIC TO PROGRAMS AND PROGRAMMING

[1] ASHCROFT EA, THESIS IMPERIAL COLL

[2] ASHCROFT EA, 9 IMP COLL CTR COMP

[3] FLOYD RW, 1967, P S APPLIED MATHS, V19

[4] KLEENE SC, 1952, INTRODUCTION METAMAT

[5] MANNA Z, 1969, ACM S THEORY COMPUTA

[6] MANNA Z, 1969, J ASSOCIATION COMPUT, V16

[7] MANNA Z, 1969, J COMPUTER SYSTEMS S

[8] Manna Z., 1968, THESIS CARNEGIE MELL

[9] McCarthy J., 1962, P IFIP C

[10] MENDELSON E, 1963, INTRODUCTION MATHEMA

[1] ASHCROFT EA, THESIS IMPERIAL COLL

[2] ASHCROFT EA, 9 IMP COLL CTR COMP

[3] FLOYD RW, 1967, P S APPLIED MATHS, V19

[4] KLEENE SC, 1952, INTRODUCTION METAMAT

[5] MANNA Z, 1969, ACM S THEORY COMPUTA

[6] MANNA Z, 1969, J ASSOCIATION COMPUT, V16

[7] MANNA Z, 1969, J COMPUTER SYSTEMS S

[8] Manna Z., 1968, THESIS CARNEGIE MELL

[9] McCarthy J., 1962, P IFIP C

[10] MENDELSON E, 1963, INTRODUCTION MATHEMA