Travelled to:1 × USA
Collaborated with:D.I.Good J.Keeton-Williams
Talks about:principl (1) program (1) correct (1) prove (1) gypsi (1)
Person: Richard M. Cohen
DBLP: Cohen:Richard_M=
Contributed to:
1979Wrote 1 papers:
- POPL-1979-GoodC #proving #source code
- Principles of Proving Programs Correct in Gypsy (DIG, RMC, JKW), pp. 42–52.