23rd WADT 2016: Gregynog, UK

Abstracts of Invited Talks

Full Papers of Invited Talks

Survey Papers

Regular Papers

a service of Schloss Dagstuhl - Leibniz Center for Informatics