© University of Kent - Contact | Feedback | Legal
The University of Kent, Canterbury, Kent, CT2 7NZ, T +44 (0)1227 764000
Structural Refinement of Systems Specified in Object-Z and CSP
John Derrick and Graeme Smith
Formal Aspects of Computing, 15(1):1 - 27, July 2003.Bibtex Record
@article{1782,
author = {John Derrick and Graeme Smith},
title = {{Structural Refinement of Systems Specified in Object-Z and CSP}},
month = {July},
year = {2003},
pages = {1 - 27},
keywords = {},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2003/1782},
publication_type = {article},
submission_id = {22962_1075230408},
ISSN = {0934-5043},
journal = {Formal Aspects of Computing},
volume = {15},
number = {1},
publisher = {Springer-Verlag},
}