© University of Kent - Contact | Feedback | Legal | FOI | Cookies
REFINE 2005 Workshop
J. Derrick and E. Boiten, editors
volume 137(2) of Electronic Notes in Theoretical Computer Science. Elsevier, April 2005 http://www.sciencedirect.com/science/journal/15710661.Bibtex Record
@proceedings{2234,
author = {},
title = {REFINE 2005 Workshop},
month = {April},
year = {2005},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {http://www.sciencedirect.com/science/journal/15710661},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2005/2234},
publication_type = {proceedings},
submission_id = {1920_1121426072},
editor = {J. Derrick and E. Boiten},
volume = {137(2)},
series = {Electronic Notes in Theoretical Computer Science},
publisher = {Elsevier},
ISSN = {1571-0661},
}