B:WADT99

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.

BibTex Reference

@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}
}

EndNote Reference [help]

Get EndNote Reference (.ref)