Prelim. Proc. 19th International Workshop on Algebraic Development Techniques (WADT 2008)
Book title Buchtitel
Prelim. Proc. 19th International Workshop on Algebraic Development Techniques (WADT 2008)
Date issued
Results 1-1 of 1 (Search time: 0.001 seconds).