Lecture

Recursive Algorithms: Proving Correctness and Fibonacci Iteration