© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Editorial: Special issue on Refine 2005
Eerke A. Boiten and Michael Butler
Formal Aspects of Computing, 18(3):182-196, August 2006.Bibtex Record
@article{2418,
author = {Eerke A. Boiten and Michael Butler},
title = {Editorial: Special Issue on {R}efine 2005},
month = {August},
year = {2006},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2006/2418},
publication_type = {article},
submission_id = {11896_1156150448},
ISSN = {0934-5043},
journal = {Formal Aspects of Computing},
volume = {18},
number = {3},
publisher = {Springer},
}