20th International Workshop on Algebraic Development Techniques WADT 2010

Schloss Etelsen, Germany, 1st-4th July 2010

Important dates: