| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 1991 | |
|---|---|---|
| 8 |      | Donald I. Good, William D. Young: Mathematical Methods for Digital Systems Development. VDM Europe (2) 1991: 406-430 |
| 1988 | ||
| 7 | | Donald I. Good: Computing is a Physical Science (Abstract). VDM Europe 1988: 1-1 |
| 1979 | ||
| 6 | | Donald I. Good, Richard M. Cohen, James Keeton-Williams: Principles of Proving Programs Correct in Gypsy. POPL 1979: 42-52 |
| 1978 | ||
| 5 | | Donald I. Good, Richard M. Cohen, Lawrence W. Hunter: A Report On The Development Of Gypsy. ACM Annual Conference (1) 1978: 116-122 |
| 1975 | ||
| 4 |  | Donald I. Good, Ralph L. London, W. W. Bledsoe: An Interactive Program Verification System. IEEE Trans. Software Eng. 1(1): 59-67 (1975) |
| 1974 | ||
| 3 | | Donald I. Good: Provable programs and processors. AFIPS National Computer Conference 1974: 357-363 |
| 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 | | Donald I. Good, Ralph L. London: Computer Interval Arithmetic: Definition and Proof of Correct Implementation. J. ACM 17(4): 603-612 (1970) |
| 1 | W. W. Bledsoe | [4] |
| 2 | Richard M. Cohen | [5] [6] |
| 3 | Lawrence W. Hunter | [5] |
| 4 | James Keeton-Williams | [6] |
| 5 | Ralph L. London | [1] [4] |
| 6 | Larry C. Ragland | [2] |
| 7 | William D. Young | [8] |
Colors in the list of coauthors
Last update Wed May 30 22:34:44 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page