ATE

201120112011

Keyphrases

Publications

2011

Phillip James, Markus Roggenbach
Designing Domain Specific Languages for Verification: First Steps. ATE (2011)
Walter Guttmann, Georg Struth, Tjark Weber
A Repository for Tarski-Kleene Algebras. ATE (2011)
Michael Beeson, Jay Halcomb, Wolfgang Mayer
Inconsistencies in the Process Specification Language (PSL). ATE (2011)
Josef Urban
An Overview of Methods for Large-Theory Automated Theorem Proving. ATE (2011)
Vilius Naudziunas, Timothy G. Griffin
A Domain-Specific Language for the Specification of Path Algebras. ATE (2011)
Han-Hing Dang, Bernhard Möller
Simplifying Pointer Kleene Algebra. ATE (2011)
Timothy G. Griffin
Do Formal Methodists have Bell-Shaped Heads? ATE (2011)

volume 760, 2011

Proceedings of the First Workshop on Automated Theory Engineering, Wrocław, Poland, July 31, 2011 ATE 760 (2011)