Logic-Based Program Synthesis and Transformation
22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
- Editors
- (view affiliations)
Conference proceedings
LOPSTR 2012
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7844)