11th LOPSTR 2001: Paphos, Cyprus

Invited Speaker

Program Transformation and Equivalence

Program Verification

Program Analysis

Program Development

Program Synthesis

a service of Schloss Dagstuhl - Leibniz Center for Informatics