CSCI 220 (Fall 1998): Class Notes, Correctness of Iterative Binary Search

Image 9: Correctness of Iterative Binary Search