TY  - BOOK
AU  - Mossakowski,Till
AU  - Kreowski,Hans-Jörg
TI  - Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers 
SN  - 9783642284120
PY  - 2012///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Computers
KW  - Computer logic
KW  - Mathematical logic
KW  - Mathematics
UR  - http://dx.doi.org/10.1007/978-3-642-28412-0
ER  -