2011 for the individual papers
by the papers' authors. Copying permitted only for private and academic purposes.
This volume is published and copyrighted by its editors.
Automated Theory Engineering
Proceedings of the First Workshop on Automated Theory Engineering
1 NICTA, Sydney, Australia
2 Macquarie University, Department of Computing, Sydney, Australia
3 University of Sheffield, Department of Computer Science, Sheffield, UK
The whole proceedings can also be downloaded as a single file (pdf).
27-Jul-2011: submitted by Peter Höfner
28-Jul-2011: published on CEUR-WS.org