Testing, Debugging, and Verification | TDA566/DIT082, LP2, HT2011 |
Lecture Notes, December 2. | |
TopicsThe topics of the lecture are
Slides and HandoutsExamples | |
Home | Course | Schedule | Exam | Exercises | Labs | Evaluation | Tools | Links | W. Ahrendt, V. Klebanov, Dec 6, 2011 |