TY - DATA AU - Fiadeiro,José Luiz AU - Schobbens,Pierre-Yves ED - SpringerLink (Online service) TI - Recent Trends in Algebraic Development Techniques: 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers T2 - Lecture Notes in Computer Science, SN - 9783540719984 PY - 2007/// CY - Berlin, Heidelberg PB - Springer-Verlag Berlin Heidelberg KW - Algebra KW - Data processing KW - Computer Science KW - Logic design KW - Software engineering KW - Logics and Meanings of Programs KW - Mathematical Logic and Formal Languages KW - Software Engineering KW - Symbolic and Algebraic Manipulation UR - http://dx.doi.org/10.1007/978-3-540-71998-4 ER -