Computer Science 587 Course Page 
Software Verification and Validation 
Instructor: Bob Lingard

http://137.94.179.11/cficse/2000/resources/artech-software-v-and-v-practitioners-guide.pdf

http://www.tantara.ab.ca/info.htm

Updated: November 18, 2009