11th FoSSaCS 2008: Budapest, Hungary(Part of ETAPS 2008)

a service of Schloss Dagstuhl - Leibniz Center for Informatics