Seminar: Anwendung Formaler Verifikation
- type: Seminar (S)
- semester: SS 2019
-
time:
23.04.2019
13:00 - 14:00 täglich
50.34 Raum 236
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten
-
lecturer:
Prof. Dr. Carsten Sinz
Prof. Dr. Bernhard Beckert - sws: 2
- lv-no.: 2400025
links
| Bemerkungen | Anmeldung: Persönlich oder per E-Mail bei Simone Meinhart (Raum 223, Geb. 50.34) Mail: simone.meinhart@kit.edu |