Seminar: Anwendung Formaler Verifikation
- Typ: Seminar (S)
- Semester: SS 2019
-
Zeit:
23.04.2019
13:00 - 14:00 täglich
50.34 Raum 236
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten
-
Dozent:
Prof. Dr. Carsten Sinz
Prof. Dr. Bernhard Beckert - SWS: 2
- LVNr.: 2400025
Links
| Bemerkungen | Anmeldung: Persönlich oder per E-Mail bei Simone Meinhart (Raum 223, Geb. 50.34) Mail: simone.meinhart@kit.edu |