Unit III: Specification and testing

Lecture notes

Sample Programs

Reading

You should look at chapters 9 & 10 of the textbook.