Publication | Closed Access
Logic programming environments: Dynamic program analysis and debugging
40
Citations
75
References
1994
Year
EngineeringAutomated ReasoningProgram AnalysisSoftware TestingDynamic Program AnalysisFormal MethodsDynamic LogicSoftware EngineeringComputer ScienceDebuggerSoftware AnalysisSymbolic ExecutionFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1