WADT 2002 ((2002 :)
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Recent trends in algebraic development techniques = 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers /
by:
Hennicker, Rolf, (1952-); Pattinson, Dirk, (1970-); Wirsing, M.; SpringerLink (Online service); WADT 2002 ((2002 :)
(Language materials, printed)