18. LPAR 2012: Mérida, Venezuela

a service of Schloss Dagstuhl - Leibniz Center for Informatics