© University of Kent - Contact | Feedback | Legal | FOI | Cookies
The Steam Boiler in a Unified Theory of Z and CSP
JCP Woodcock and ALC Cavalcanti
In 8th Asia-Pacific Software Engineering Conference, pages 182-196. IEEE Press, 2001.Bibtex Record
@inproceedings{1484,
author = {JCP Woodcock and ALC Cavalcanti},
title = {{The Steam Boiler in a Unified Theory of Z and CSP}},
month = {unknown},
year = {2001},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2001/1484},
publication_type = {inproceedings},
submission_id = {5012_1028820918},
booktitle = {8th Asia-Pacific Software Engineering Conference},
publisher = {IEEE Press},
}