17th LOPSTR 2007: Kongens Lyngby, Denmark

Program Termination

Program Transformation

Constraint Solving and Analysis

Software Engineering

a service of Schloss Dagstuhl - Leibniz Center for Informatics