© University of Kent - Contact | Feedback | Legal | FOI | Cookies
An object-oriented toolkit for oda and hyperoda
H Brown, F C Cole, and E A Oxborrow
In Proceedings of SigDoc'93, pages 182-196. ACM, January 1993.Bibtex Record
@inproceedings{466,
author = {H Brown and F C Cole and E A Oxborrow},
title = {An Object-Oriented Toolkit for ODA and HyperODA},
month = {January},
year = {1993},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1993/466},
ISBN = {0-89791-630-1},
booktitle = {Proceedings of SigDoc'93},
organization = {ACM},
refereed = {Yes},
}