D. Good

发表

D. Good, 1975, Reliable Software.

W. F. Burger, Allen L. Ambler, Charles G. Hoch, 1977, Language Design for Reliable Software.

Karl N. Levitt, Richard J. Waldinger, Bernard Elspas, 1973, Commun. ACM.

Donald I. Good, Ann E. Siebert, D. Good, 1984 .

D. I. Good, W. W. Bledsoe, R. L. London, 1975, IEEE Transactions on Software Engineering.

Robert S. Boyer, J. Strother Moore, J. S. Moore, 1985, SOEN.

Donald I. Good, William D. Young, W. D. Young, 1991, VDM Europe.

Matt Kaufmann, J. S. Moore, J. Strother Moore, 2006 .

James C. Browne, Michael K. Smith, Robert E. Wells, 2017 .

James C. Browne, Anand R. Tripathi, Donald I. Good, 1979 .

Donald I. Good, D. Good, 1984, Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences.