Recent Trends in Algebraic Development Techniques. 14th International Workshop, WADT'99, Château de Bonas, France, September 1999. Selected Papers. Didier Bert, Christine Choppy, Peter Mosses (eds.), Lecture Notes in Computer Science, No 1827, Springer-Verlag, 2000.
@Book{B:WADT99,
Title = {{Recent Trends in Algebraic Development Techniques. 14th International Workshop, WADT'99, Château de Bonas, France, September 1999. Selected Papers}},
editor = {Bert, Didier and Choppy, Christine and Mosses, Peter},
Number = {1827},
Series = {Lecture Notes in Computer Science},
Publisher = {Springer-Verlag},
Year = {2000}
}
Charger la référence EndNote (.ref)