Publication year: 2007
: 978-3-540-71998-4
This book constitutes the thoroughly refereed postproceedings of the 18th International Workshop on Algebraic Development Techniques, WADT 2006, held in La Roche en Ardenne, Belgium, June 2006.
: Computer Science, automated theorem proving, calculi, calculus, cellular automata, formal method, formal methods, formal testing, graph transformation, logic, modal logic, modeling, process algebra, semantics, system development, theorem proving