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 Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers WADT Lecture Notes in Computer Science 2755 Springer 2003 3-540-20537-3 db/conf/wadt/wadt2002.html