Logic Based Program Synthesis and Transformation, 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers

Patricia M. Hill Logic Based Program Synthesis and Transformation, 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers 3901 2006 3-540-32654-5 LOPSTR Lecture Notes in Computer Science Springer db/conf/lopstr/lopstr2005.html