Logik und Formale Methoden

Formale Entwicklung objektorientierter Software (WS 07/08)