Publication | Closed Access
The Use of Assertions in Algorithmic Debugging.
40
Citations
0
References
1988
Year
Program CheckingEngineeringProgram AnalysisAutomated ReasoningVerificationFormal MethodsSoftware AnalysisAlgorithmic DebuggingComputer ScienceDebuggerFormal VerificationSoftware Verification
No additional data available for this publication yet. Check back later!