Seminar: Anwendung Formaler Verifikation
- type: Seminar (S)
- chair: KIT-Fakultäten - KIT-Fakultät für Informatik - Institut für Theoretische Informatik - ITI Beckert
- semester: WS 20/21
-
lecturer:
Prof. Dr. Carsten Sinz
Prof. Dr. Bernhard Beckert - sws: 2
- lv-no.: 2400094
- information: Online
| Inhalt | Anmeldung: Persönlich oder per E-Mail bei Simone Meinhart (Raum 223, Geb. 50.34) Mail: simone.meinhart@kit.edu |
| Vortragssprache | Deutsch/Englisch |