Publication | Closed Access
A knowledge-based system for automatic program construction
32
Citations
12
References
1977
Year
Automatic Program ConstructionEngineeringAutomated ReasoningProgram AnalysisAutomatic ProgrammingFormal MethodsSystems EngineeringSoftware EngineeringProgram SynthesisComputer ScienceAutomated Knowledge AcquisitionSoftware AnalysisSoftware Design
| Year | Citations | |
|---|---|---|
Page 1
Page 1