Peter Höfner, Annabelle McIver, Georg Struth, editors, Proceedings of the First Workshop on Automated Theory Engineering, Wrocław, Poland, July 31, 2011. Volume 760 of CEUR Workshop Proceedings, CEUR-WS.org, 2011. [doi]
Conference: ate
Abstract is missing.