12
Publications
482
Citations
12
H-Index
1970
Active since
Affiliations
The University of Texas at Austin(Current)
Donald I. Good is an author at The University of Texas at Austin specializing in engineering, formal verification, and computer science.
Top concepts
EngineeringComputer ScienceFormal VerificationFormal MethodsVerificationProgram AnalysisSoftware AnalysisSystems EngineeringSystem SoftwareSoftware Design
Publications per year
1970–1984
12
12
Allen L. Ambler, Donald I. Good, James C. Browne et al. · ACM SIGSOFT Software Engineering Notes · 1977 · 97 citations · Full text
An interactive program verification system
Donald I. Good, Ralph L. London, W. W. Bledsoe · ACM SIGPLAN Notices · 1975 · 82 citations
Allen L. Ambler, Donald I. Good, James C. Browne et al. · 1977 · 45 citations
Toward a man-machine system for proving program correctness
Donald I. Good · 1970 · 41 citations
Rows per page
1–5 of 12