in Logic-Based Program Synthesis and Transformation - 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 7225, Pages: 155-172
Conference
21St International Symposium on Logic-Based Program Synthesis and Transformation, Lopstr 2011, Date: 18 July 2011 through 20 July 2011, Location: Odense, Sponsors: University of Southern Denmark;Danish Agency for Science, Technology and Innovation
