© University of Kent - Contact | Feedback | Legal
The University of Kent, Canterbury, Kent, CT2 7NZ, T +44 (0)1227 764000
Editorial: Special issue on Refinement
Eerke Boiten, Tim Denvir, John Derrick, and Joakim von Wright
Formal Aspects of Computing, 15(2):101-102, 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 = {101-102},
keywords = {refinement},
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},
}