- Note that I have changed the set of selectable assignments for Program Verification. Now you can only select the Array Boundary challange. I plan to do the other(s) together. --Wish.
- The lecture of September 10, 2002 by Doaitse Swierstra is cancelled due to illness.