WADT 2014
22nd International Workshop on Algebraic Development Techniques
Sinaia, Romania,September 4-7,2014
The workshop takes place under the auspices of IFIP WG 1.3, and is sponsored by IFIP TC1 and the Institute of Mathematics of the Romanian Academy.