Recent Trends in Algebraic Development Techniques
Subtitle: 13th International Workshop, WADT'98 Lisbon, Portugal, April 2-4, 1998 Selected Papers
Publisher: Springer London, Limited
Published: 2003
Language: eng
ISBN-13: 9783540484837