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

researchr

You are not signed in
Sign in
Sign up

July 18, 2011-July 20, 2011 in Odense, Denmark

runs on WebDSL