Logic and Formal Methods

Formale Software-Entwicklung (SS 07)