Recent Trends in Algebraic Development Techniques
21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
- Editors
- (view affiliations)
Conference proceedings
WADT 2012
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7841)