Logic and Formal Methods

Formale Entwicklung objektorientierter Software (WS 07/08)