Slide 1 TSC Workshop, May 2008, U Oklahoma 1 Teaching Software Correctness May 13-15, 2008, University of Oklahoma Rex Page, U [email protected] Assistants Carl Eastlund…
