© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Editorial: Special issue on Refine 2009
Eerke Boiten, John Derrick, Jin Song Dong, and Steve Reeves
Formal Aspects of Computing, 24(1):182-196, January 2012 [doi].Bibtex Record
@article{3194,
author = {Eerke Boiten and John Derrick and Jin Song Dong and Steve Reeves},
title = {Editorial: {S}pecial issue on {Refine} 2009},
month = {January},
year = {2012},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {10.1007/s00165-011-0220-5},
url = {http://www.cs.kent.ac.uk/pubs/2012/3194},
publication_type = {article},
submission_id = {25000_1325755496},
ISSN = {0934-5043},
journal = {Formal Aspects of Computing},
volume = {24},
number = {1},
publisher = {Springer},
}