Cordell Green is an author at Yale University specializing in automated reasoning, software engineering, and formal methods.
Top concepts
DesignEngineeringFormal MethodsSoftware DesignComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningSoftware EngineeringProgram Transformation
Publications per year
1975–1978
2
2
On program synthesis knowledge
Cordell Green, D Barstow · Artificial Intelligence · 1978 · 75 citations
Rows per page
1–2 of 2