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 |
||
|
Bernd Löchner | is responsible for further Waldmeister development. |
|
AG
Formale Methoden und Deduktion |
||
|
Arnim Buch | is currently not working on Waldmeister |
|
sd&m Software Design Management |
||
|
Andreas Jaeger |
has retired :-) from Waldmeister. |
|
Roland Vogt | is currently not working in the Waldmeister project. |
|
DFKI
GmbH |
||
|
Doris Diedrich | is doing the Waldmeister webpages... |
|
AG
2, Programming Logics Group |
||