Verifikation und Fehlerdiagnose - Sommersemester 06
Veranstalter
| Dozent | Christoph Scholl, Prof. Dr., Lehrstuhl für Betriebssysteme |
| Betreuer | Tobias Nopper, Lehrstuhl für Betriebssysteme |
| Matthias Büche, Lehrstuhl für Betriebssysteme | |
| Stefan Disch, Lehrstuhl für Betriebssysteme | |
| Florian Pigorsch, Dipl.-Inf., Lehrstuhl für Betriebssysteme |