© University of Kent - Contact | Feedback | Legal | FOI | Cookies
A Circus semantics for Ravenscar protected objects
Diyaa-Addein Atiya, Steve King, and Jim Woodcock
In FM 2003: 12th international FME Symposium, pages 182-196, Pisa, 2003. Lecture Notes in Computer Science.Bibtex Record
@inproceedings{1796, author = {Diyaa-Addein Atiya and Steve King and Jim Woodcock}, title = {{A Circus semantics for Ravenscar protected objects}}, month = {unknown}, year = {2003}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2003/1796}, publication_type = {inproceedings}, submission_id = {3589_1076325360}, booktitle = {FM 2003: 12th international FME Symposium}, address = {Pisa}, publisher = {Lecture Notes in Computer Science}, }