TAG ARCHIVE

TAG: symposium

Logic Based Program Synthesis And Transformation 17th International Symposium Lopstr 2007 Kongens Lyngby Denmark August 23 24 2007 Revised Selected Papers Lecture Notes In Computer Science