ATE 2011: Wrocław, Poland
Peter Höfner, Annabelle McIver, Georg Struth (Eds.): Proceedings of the First Workshop on Automated Theory Engineering, Wrocław, Poland, July 31, 2011. CEUR-WS.org 2011 CEUR Workshop Proceedings 760
Invited Papers
- Timothy G. Griffin: Do Formal Methodists have Bell-Shaped Heads? 1-2
- Josef Urban: An Overview of Methods for Large-Theory Automated Theorem Proving. 3-8
Research Papers
- Michael Beeson, Jay Halcomb, Wolfgang Mayer: Inconsistencies in the Process Specification Language (PSL). 9-19
- Phillip James, Markus Roggenbach: Designing Domain Specific Languages for Verification: First Steps. 40-45
- Vilius Naudziunas, Timothy G. Griffin: A Domain-Specific Language for the Specification of Path Algebras. 46-57
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team