© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Using Circus for critical industrial applications
Jim Woodcock
In WMF2003: 6th Brazilian Workshop on Formal Methods, pages 182-196, Campina Grande, Brazil, 2004. To be published in Electronic Notes in Theoretical Computer Science. Keynote speech: the Formal Methods Europe Lecture.Bibtex Record
@inproceedings{1798,
author = {Jim Woodcock},
title = {{Using Circus for critical industrial applications}},
month = {unknown},
year = {2004},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {Keynote speech: the Formal Methods Europe Lecture},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2004/1798},
publication_type = {inproceedings},
submission_id = {3729_1076325918},
booktitle = {WMF2003: 6th Brazilian Workshop on Formal Methods},
address = {Campina Grande, Brazil},
publisher = {To be published in Electronic Notes in Theoretical Computer Science.},
}