Logic-Based Program Synthesis and Transformation, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers

Andy King

Number 4915 in Lecture Notes in Computer Science. Springer-Verlag, March 2008.

Bibtex Record

@book{2676,
author = {Andy King},
title = {Logic-Based Program Synthesis and Transformation, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers},
month = {March},
year = {2008},
pages = {219},
keywords = {},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2008/2676},
    publication_type = {book},
    submission_id = {18327_1205231620},
    ISBN = {978-3-540-78768-6},
    editor = {Andy King},
    publisher = {Springer-Verlag},
    number = {4915},
    series = {Lecture Notes in Computer Science},
}