PATRICK WISCHNEWSKI |
|
|||||
Verification version 06/07 Dear participant of the Verification course version 06/07,
I'm one of the TAs guiding you through the next version of the verification course.
For details of the course have a look at the course website.
contact me at: pawi5002___at____stud.uni-saarland.de |
||||||
Dependable Systems & Software Group | Department of Computer Science | Universität des Saarlandes |