Publication | Closed Access
The clean termination of Pascal programs
19
Citations
7
References
1979
Year
Programming Language TheoryProgram CheckingEngineeringClean TerminationAutomated ReasoningProgram AnalysisFormal MethodsSoftware AnalysisComputer ScienceFormal VerificationSymbolic Execution
| Year | Citations | |
|---|---|---|
Page 1
Page 1