Seminar: Hardware Verification - Sommersemester 2026
Veranstalter
| Dozent | Christoph Scholl, Prof. Dr., Arbeitsgruppe Betriebssysteme |
| Betreuer | Alexander Konrad, Arbeitsgruppe Betriebssysteme |
| Franz-Xaver Reichl, Dr., Arbeitsgruppe Betriebssysteme | |
| Tobias Seufert, Dr., Arbeitsgruppe Betriebssysteme |