17. LOPSTR 2007: Kongens Lyngby, Denmark

Program Termination

Program Transformation

Constraint Solving and Analysis

Software Engineering

maintained by Schloss Dagstuhl LZI at University of Trier