Options
Title
Recent trends in algebraic development techniques
Title Supplement
17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 ; revised selected papers
Person Involved
Publisher
Publishing Place
Berlin
Publication Date
2005
Series
Lecture Notes in Computer Science; 3423
ISBN
3-540-25327-0