CSC252a
Fall 2000
Ileana Streinu
Lecture 2
Program Correctness
Analysis of Algorithms Part I
Textbook, Ch. 1, start Ch.2
Class notes
Last modified Sept. 12, 2000.