17. LOPSTR 2007: Kongens Lyngby, Denmark

Program Termination

Program Transformation

Constraint Solving and Analysis

Software Engineering