27th LICS 2012: Dubrovnik, Croatia

Invited Papers

Invited Tutorials

Kleene Award Paper

Regular Papers

a service of Schloss Dagstuhl - Leibniz Center for Informatics