CS395ts2005 - An Integrated Approach to Verification and Validation- Spring 2005
Course Description
Lecture Notes
Papers