© University of Kent - Contact | Feedback | Legal | FOI | Cookies
An Overview of the Verification of a Handel-C Program
JCP Woodcock and AA McEwan, editors
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications. IDPT Press, 2000.Bibtex Record
@proceedings{1530,
author = {},
title = {{An Overview of the Verification of a Handel-C Program}},
month = {unknown},
year = {2000},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2000/1530},
publication_type = {proceedings},
submission_id = {19628_1034343903},
editor = {JCP Woodcock and AA McEwan},
series = {Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications},
publisher = {IDPT Press},
}