Publication | Closed Access
Coping with errors in binary search procedures
182
Citations
3
References
1980
Year
Search TechnologyEngineeringInformation RetrievalAutomated ReasoningBinary Search ProceduresSoftware TestingVerificationIntelligent SearchingComputer ScienceSearch TechniqueSoftware Analysis
| Year | Citations | |
|---|---|---|
Page 1
Page 1