Seminar: Formale Methoden für Security und Verifikation - Sommersemester 2013
Veranstalter
| Dozent | Bernd Becker, Prof. Dr., Lehrstuhl für Rechnerarchitektur |
| Assistent | Ralf Wimmer, Dr., Lehrstuhl für Rechnerarchitektur |
| Betreuer | Linus Feiten, Dipl.-Inf., Lehrstuhl für Rechnerarchitektur |
| Paolo Marin, PhD, Lehrstuhl für Rechnerarchitektur | |
| Karsten Scheibler, Dipl.-Inf., Lehrstuhl für Rechnerarchitektur |