Logik und Formale Methoden

Formale Software-Entwicklung (SS 07)