14. ESOP 2005: Edinburgh, UK (Part of ETAPS 2005)

maintained by Schloss Dagstuhl LZI at University of Trier