20. ESOP 2011: Saarbrücken, Germany (Part of ETAPS 2011)

maintained by Schloss Dagstuhl LZI, founded at University of Trier