WINTER 08/09
 | ||
|
In the winter term 2008/09 we offer:
 | Stammvorlesung: Verification |
| Proseminar: In the Automata Zoo |
Let op!
We offer a block module in March 2009:
Advanced course:Testing Techniques
|
WINTER 08/09 |
|
||||
In the winter term 2008/09 we offer:
Let op! We offer a block module in March 2009:
Advanced course:Testing Techniques |
||||||
| Dependable Systems & Software Group | Department of Computer Science | Universität des Saarlandes | ||||