Recent Trends in Algebraic Development Techniques
Subtitle: 14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers
Publisher: Springer London, Limited
Published: 2004
Language: eng
ISBN-13: 9783540446163