 | PCC Course Slides and Reading List |
|
Dear course participants, I have added a new link "Course Slides and Reading List" to the section on PCC. The first two items on the referenced page are the slides on wich Hans-Wolfgang Loidl's presentation next week is based. Regards, WS |
Formal Methods in Software Development (SS 2006)
|