Oberseminar Verifikation und Fehlerdiagnose - Sommersemester 05
Veranstalter
| Betreuer | Christoph Scholl, Prof. Dr., Lehrstuhl für Betriebssysteme |
| Tobias Nopper, Lehrstuhl für Betriebssysteme | |
| Matthias Büche, Lehrstuhl für Betriebssysteme | |
| Stefan Disch, Lehrstuhl für Betriebssysteme |