Logik und Formale Methoden

Spezifikation und Verifikation von Software (WS 10/11)