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