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