LOPSTR 2012: International Symposium on Logic-Based Program Synthesis and Transformation - researchr conference program

researchr

You are not signed in
Sign in
Sign up

September 18, 2012-September 20, 2012 in Leuven, Belgium

runs on WebDSL