Seminar: Formale Methoden für Security und Verifikation - Summer Term 2014
overview
| description |
The primary language of the seminar is German, so you have to understand German to take part. It is possible, however, to complete the paper and presentation in English or German. (See the German version of this page for a detailed description of the seminar.) |
| comment |
Language: German |