Introduction to Software Technology
*2002-09-13* * 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. *2002-09-09* * The lecture of September 10, 2002 by Doaitse Swierstra is cancelled due to illness. *2002-09-02* * Slides for the first lecture about `[[What is Software Technology]]?' are now available.