Logic and Formal Methods

Formale Entwicklung objektorientierter Software (WS 06/07)