If you have any questions or problems, just send an email to: waldmeister@informatik.uni-kl.de

Thomas Hillenbrand  is responsible for further Waldmeister development.

AG 2, Programming Logics Group
Max Planck Institut für Informatik
Stuhlsatzenhausweg 85
66123 Saarbrücken


Bernd Löchner is responsible for further Waldmeister development.

AG Formale Methoden und Deduktion
Universität Kaiserslautern
Fachbereich Informatik
Postfach 3049
67653 Kaiserslautern, Germany


Arnim Buch is currently not working on Waldmeister

sd&m Software Design Management


Andreas Jaeger

has retired :-) from Waldmeister.

SuSE Linux AG


Roland Vogt is currently not working in the Waldmeister project.

DFKI GmbH
Stuhlsatzenhausweg 3
D-66123 Saarbrücken
Germany


Doris Diedrich is doing the Waldmeister webpages...

AG 2, Programming Logics Group
Max Planck Institut für Informatik
Stuhlsatzenhausweg 85
66123 Saarbrücken


Copyright © 1998-2007 by Max-Planck-Institut für Informatik. All rights reserved.
Imprint and legal notices. www site design and concept by Doris Diedrich.

Document last changed on Friday, 08-Aug-2003 13:26:12 MEST.