Seminar: Formale Methoden für Security und Verifikation - Summer Term 2014
organiser
| lecturer | Bernd Becker, Prof. Dr., Chair of Computer Architecture |
| assistant | Ralf Wimmer, Dr., Chair of Computer Architecture |
| organizer | Linus Feiten, Dipl.-Inf., Chair of Computer Architecture |
| Paolo Marin, PhD, Chair of Computer Architecture | |
| Karsten Scheibler, Dipl.-Inf., Chair of Computer Architecture |