© 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.}, }