Materialien
Vorlesungsmaterial
Foren
Forum
Seminar: Methoden der Verifikation - Sommersemester 07
Veranstalter
| Dozent | Bernd Becker, Prof. Dr., Lehrstuhl für Rechnerarchitektur |
| Betreuer | Ralf Wimmer, Dipl.-Inf., Lehrstuhl für Rechnerarchitektur |
| Natalia Kalinnik, Dipl.-Inf., Lehrstuhl für Rechnerarchitektur | |
| Stefan Kupferschmid, Dipl.-Inf., Lehrstuhl für Rechnerarchitektur | |
| Jochen Eisinger, Dipl.-Inf., Lehrstuhl für Rechnerarchitektur |