Logic Based Program Synthesis and Tranformation, 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20,2002, Revised Selected Papers

Michael Leuschel Logic Based Program Synthesis and Tranformation, 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20,2002, Revised Selected Papers LOPSTR Lecture Notes in Computer Science 2664 Springer 2003 3-540-40438-4 db/conf/lopstr/lopstr2002.html