© University of Kent - Contact | Feedback | Legal | FOI | Cookies
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 = {182-196},
keywords = {determinacy analysis, Craig interpolants},
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},
}