Logic-Based Program Synthesis and Transformation [LOPSTR 2010]

General Information

Conference Date: 23/07/2010 - 25/07/2010

Venue: RISC, Hagenberg, Austria