LOPSTR 2006 (2006 Venice, Italy) profile picture

LOPSTR 2006 (2006 Venice, Italy)

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Logic-based program synthesis and transformation