Teaching Software Correctness Workshop - May 13-15, 2008
Links to daily assessment questionnaire
Day 1
Tuesday, May 13
Day 2
Wednesday, May 14
Day 3
Thursday, May 15