Logik und Formale Methoden

Formaler Entwurf und Verifikation von Programmen (SS 08)