Logik und Formale Methoden

Formale Entwicklung objektorientierter Software (WS 06/07)