Bernd Krieg-Brückner
UniForM Workbench
Universelle Entwicklungsumgebung für Formale Methoden, Schlußbericht