© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Mechanising the alphabetised relational calculus
Gift Nuka and Jim Woodcock
In WMF2003: 6th Braziliam Workshop on Formal Methods, pages 182-196, Campina Grande, Brazil, 2004 To be published in Electronic Notes in Theoretical Computer Science 2004.Bibtex Record
@inproceedings{1802, author = {Gift Nuka and Jim Woodcock}, title = {{Mechanising the alphabetised relational calculus}}, month = {unknown}, year = {2004}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {To be published in Electronic Notes in Theoretical Computer Science 2004}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2004/1802}, publication_type = {inproceedings}, submission_id = {22694_1076408831}, booktitle = {WMF2003: 6th Braziliam Workshop on Formal Methods}, address = {Campina Grande, Brazil}, }