Program Verification
- type: Praktikum (P)
- chair: KIT-Fakultäten - KIT-Fakultät für Informatik - KASTEL – Institut für Informationssicherheit und Verlässlichkeit - KASTEL Beckert
- semester: WS 21/22
-
lecturer:
Prof. Dr. Bernhard Beckert
Dr. rer. nat. Mattias Ulbrich
Michael Kirsten - sws: 2
- lv-no.: 2400049
- information: Blended (On-Site/Online)
| Language of instruction | German/English |
| Organisational issues | weitere Informationen sowie Anmeldung in der Vorlesung |