2. ITP 2011: Berg en Dal, The Netherlands

Invited Papers

Regular Papers

Proof Pearls

Rough Diamonds

a service of Schloss Dagstuhl - Leibniz Center for Informatics