© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Editorial: Special issue on Refinement
Eerke Boiten, Tim Denvir, John Derrick, and Joakim von Wright
Formal Aspects of Computing, 15(2):182-196, November 2003.Bibtex Record
@article{1750,
author = {Eerke Boiten and Tim Denvir and John Derrick and Joakim von Wright},
title = {Editorial: Special Issue on {R}efinement},
month = {November},
year = {2003},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2003/1750},
publication_type = {article},
submission_id = {26242_1070541023},
ISSN = {0934-5043},
journal = {Formal Aspects of Computing},
number = {2},
volume = {15},
}