Inhalt: Aktuelle Arbeiten zu 'Formale Methoden'.

Zeit und Ort: Nach Vereinbarung.

Veranstalter: Prof. Dr. Christoph Walther

Oberseminar Formale Methoden im TUCaN