Recent Trends in Algebraic Development Techniques
Subtitle: 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001. Selected Papers
Publisher: Springer London, Limited
Published: 2003
Language: eng
ISBN-13: 9783540456452