Automated Theory Engineering

ATE 2011: Wrocław, Poland

maintained by Schloss Dagstuhl LZI at University of Trier