12. WCET 2012: Pisa, Italy

maintained by Schloss Dagstuhl LZI at University of Trier