LOPSTR 2003 (2003 Uppsala, Sweden) profile picture

LOPSTR 2003 (2003 Uppsala, Sweden)

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

Stand Alone

Logic based program synthesis and transformation: 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 : revised selected papers