Publikation
Bernd Krieg-Brückner; Dieter Hutter; Christoph Lüth; Erica Melis; Arnd Pötsch-Heffter; Markus Roggenbach; Jan-Georg Smaus; Martin Wirsing
In: Martin Wirsing; Dirk Pattinson; Rolf Hennicker (Hrsg.). 16th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 2002). International Workshop on Algebraic Development Techniques (WADT-2002), Frauenchiemsee, Germany, Pages 82-117, Lecture Notes in Computer Science, Vol. 2755, Springer, 2003.