 |
Prof. Dr. Bernhard Beckert | |
| Chair holder Office Hours: Thursday 2:00 P.M. Room: 224 Phone: + 49 721 608 4025 Fax: + 49 721 608 3088 beckertRuu8∂kit edu http://formal.iti.kit.edu/beckert |
Postal address:
Institute for Theoretical Informatics Am Fasanengarten 5
|
|
Teaching
- Vorlesung: Anwendung formaler Verifikation
- Seminar: Formale Programmentwicklung