Publication | Closed Access
A constructive approach to the problem of program correctness
238
Citations
1
References
1968
Year
Program CheckingEngineeringAutomated ReasoningProgram AnalysisVerificationFormal MethodsProgram CorrectnessProgram SynthesisFormal TechniqueComputer ScienceSoftware AnalysisFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1