© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Mechanising a Unifying Theory
Gift Nuka and Jim Woodcock
In UTP'06: First International Symposium on Unifying Theories of Programming, pages 182-196, Middlesbrough (UK), February 2006. To be published in Lecture Notes in Computer Science 2006.Bibtex Record
@conference{2326,
author = {Gift Nuka and Jim Woodcock},
title = {{M}echanising a {U}nifying {T}heory},
month = {February},
year = {2006},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2006/2326},
publication_type = {conference},
submission_id = {6068_1134679031},
booktitle = {UTP'06: First International Symposium on Unifying Theories of Programming},
address = {Middlesbrough (UK)},
publisher = {To be published in Lecture Notes in Computer Science 2006},
refereed = {yes},
}