© University of Kent - Contact | Feedback | Legal
The University of Kent, Canterbury, Kent, CT2 7NZ, T +44 (0)1227 764000
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 293-302, 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 = {293--302},
keywords = {},
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},
}