(2003). Recent trends in algebraic development techniques: 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers / Martin Wirsing, Dirk Pattinson, Rolf Hennicker (eds.).
Chicago-Zitierstil (17. Ausg.)Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : Revised Selected Papers / Martin Wirsing, Dirk Pattinson, Rolf Hennicker (eds.). 2003.
MLA-Zitierstil (9. Ausg.)Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : Revised Selected Papers / Martin Wirsing, Dirk Pattinson, Rolf Hennicker (eds.). 2003.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.