Seminar: Anwendung Formaler Verifikation
- Typ: Seminar (S)
- Semester: SS 2020
-
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 |