Proseminar on Modeling and Verification
- Typ: Proseminar (PS)
- Semester: WS 19/20
-
Zeit:
Kickoff-Meeting
Dienstag, 22. Oktober 14:00 - 15:30 Uhr,
Raum 348 (3. Stock)
50.34 Informatik, Kollegiengebäude am Fasanengarten -
Dozent:
Prof. Dr.-Ing. Klemens Böhm
Dr. Martin Schäler
Adrian Englhardt
Natalia Arzamasova
Vadim Arzamasov
Jakob Bach
Christine Tex
Jutta Mülle - LVNr.: 2400113
-
Hinweis:
Die Anmeldung erfolgt über https://portal.wiwi.kit.edu/.