© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Editorial: Special issue on REFINE 2007
Eerke Boiten, Michael Butler, John Derrick, and Graeme Smith
Formal Aspects of Computing, 22(1):182-196, January 2010 [doi].Bibtex Record
@article{2979,
author = {Eerke Boiten and Michael Butler and John Derrick and Graeme Smith},
title = {Editorial: {S}pecial issue on {REFINE} 2007},
month = {January},
year = {2010},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {10.1007/s00165-009-0147-2},
url = {http://www.cs.kent.ac.uk/pubs/2010/2979},
publication_type = {article},
submission_id = {3153_1264984680},
ISSN = { 0934-5043},
journal = {Formal Aspects of Computing},
volume = {22},
number = {1},
}