© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Abstract Specification in Object-Z and CSP
Graeme Smith and John Derrick
In Chris George and Huaikou Miao, editors, Formal Methods and Software Engineering, volume 2495 of Lecture Notes in Computer Science, pages 182-196. Springer, November 2002.Bibtex Record
@inproceedings{1555,
author = {Graeme Smith and John Derrick},
title = {{Abstract Specification in Object-Z and CSP}},
month = {November},
year = {2002},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2002/1555},
publication_type = {inproceedings},
submission_id = {20769_1036493601},
ISBN = {3-540-00029-1},
booktitle = {Formal Methods and Software Engineering},
editor = {Chris George and Huaikou Miao},
volume = {2495},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
refereed = {yes},
}