© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Refinement and verification of concurrent systems specified in Object-Z and CSP
G. Smith and J. Derrick
In M. Hinchey and Shaoying Liu, editors, First IEEE International Conference on Formal Engineering Methods (ICFEM ''97), pages 182-196, Hiroshima, Japan, November 1997. IEEE Computer Society.Bibtex Record
@inproceedings{539,
author = {G. Smith and J. Derrick},
title = {Refinement and verification of concurrent systems specified in {Object-Z} and {CSP}},
month = {November},
year = {1997},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1997/539},
address = {Hiroshima, Japan},
booktitle = {First IEEE International Conference on Formal Engineering Methods (ICFEM '97)},
editor = {M. Hinchey and Shaoying Liu},
publisher = {IEEE Computer Society},
}