| 1991 |
|---|
| 7 | | Donald I. Good,
William D. Young:
Mathematical Methods for Digital Systems Development.
VDM Europe (2) 1991: 406-430 |
| 1988 |
|---|
| 6 | | Donald I. Good:
Computing is a Physical Science (Abstract).
VDM Europe 1988: 1-1 |
| 1979 |
|---|
| 5 | EE | Donald I. Good,
Richard M. Cohen,
James Keeton-Williams:
Principles of Proving Programs Correct in Gypsy.
POPL 1979: 42-52 |
| 1978 |
|---|
| 4 | EE | Donald I. Good,
Richard M. Cohen,
Lawrence W. Hunter:
A Report On The Development Of Gypsy.
ACM Annual Conference (1) 1978: 116-122 |
| 1975 |
|---|
| 3 | | Donald I. Good,
Ralph L. London,
W. W. Bledsoe:
An Interactive Program Verification System.
IEEE Trans. Software Eng. 1(1): 59-67 (1975) |
| 1973 |
|---|
| 2 | | Larry C. Ragland,
Donald I. Good:
Greatest Common Divisor of n Integers and Multipliers (Certification of Algorithm 386).
Commun. ACM 16(4): 257 (1973) |
| 1970 |
|---|
| 1 | EE | Donald I. Good,
Ralph L. London:
Computer Interval Arithmetic: Definition and Proof of Correct Implementation.
J. ACM 17(4): 603-612 (1970) |
