WADT '99 ((1999 :)
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Recent trends in algebraic development techniques = 14th international workshop, WADT'99, Chateau de Bonas, September 15-18, 1999 : selected papers /
by:
Bert, Didier.; Choppy, Christine.; Mosses, Peter.; SpringerLink (Online service); WADT '99 ((1999 :)
(Language materials, printed)