© University of Kent - Contact | Feedback | Legal | Cookies
The University of Kent, Canterbury, Kent, CT2 7NZ, T +44 (0)1227 764000
Editorial: Special issue on REFINE 2007
Eerke Boiten, Michael Butler, John Derrick, and Graeme Smith
Formal Aspects of Computing, 22(1):1, 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 = {1},
keywords = {},
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},
}