Teaching in 2007-2008 Fall 2007 CSC 2108: Model-Checking, Wednesdays 2-5 p.m. in BA3116. CSC330: Logical Specifications. Tuesdays 2-3, Thursdays 2-4, MP118. Winter 2008 CSC410: Software Testing and Verification (aka Quality Assurance). Mondays 10-11, Wednesdays 10-12, BA 2135 Last updated: January 9, 2008
Last updated: January 9, 2008