© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Objects-early tools - a demonstration
Joe Bergin, Kim Bruce, and Michael K�lling
In SIGCSE'05 Proceedings, volume 37, pages 182-196. ACM, February 2005. Download publication 168 kbytes (PDF)Bibtex Record
@inproceedings{2360,
author = {Joe Bergin and Kim Bruce and Michael K�lling},
title = {Objects-Early Tools - A Demonstration},
month = {February},
year = {2005},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2005/2360},
publication_type = {inproceedings},
submission_id = {22420_1140787487},
booktitle = {SIGCSE'05 Proceedings},
volume = {37},
organization = {ACM},
refereed = {yes},
}