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