© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Structural Refinement of Systems Specified in Object-Z and CSP
John Derrick and Graeme Smith
Formal Aspects of Computing, 15(1):182-196, 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 = {182-196},
keywords = {determinacy analysis, Craig interpolants},
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},
}