Publication | Closed Access
Correctness of programs with Pascal-like procedures without global variables
35
Citations
17
References
1984
Year
Programming Language TheoryEngineeringAutomated ReasoningProgram AnalysisGlobal VariablesFormal MethodsProgram SynthesisComputer ScienceEvaluation StrategySoftware AnalysisFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1