Logic-based program synthesis and transformation：17th international symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007 : revised selected papers

Corporate Authors: LOPSTR 2007 (2007 Kongens Lyngby, Denmark); SpringerLink (Online service)
Group Author: King Andrew Malcolm. (Editor)
Published: Springer,
Publication Dates: 2008.