Travelled to:1 × Ireland
1 × The Netherlands
1 × USA
Collaborated with:∅ W.D.Young R.M.Cohen J.Keeton-Williams
Talks about:principl (1) mathemat (1) program (1) develop (1) correct (1) system (1) scienc (1) physic (1) method (1) comput (1)
Person: Donald I. Good
DBLP: Good:Donald_I=
Contributed to:
1988
19791991Wrote 4 papers:
- VDME-1988-Good #physics
- Computing is a Physical Science (DIG), p. 1.
- POPL-1979-GoodC #proving #source code
- Principles of Proving Programs Correct in Gypsy (DIG, RMC, JKW), pp. 42–52.
- VDME-1991-GoodY #development
- Mathematical Methods for Digital Systems Development (DIG, WDY), pp. 406–430.