© University of Kent - Contact | Feedback | Legal | FOI | Cookies
The `gold standard'' navigator
Andrew Runnalls and Robin Handley
In Mark Bedworth and Jane O''Brien, editors, Proceedings of Eurofusion98, pages 182-196, 1998.Bibtex Record
@inproceedings{696,
author = {Andrew Runnalls and Robin Handley},
title = {The `Gold Standard'' Navigator},
month = {unknown},
year = {1998},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1998/696},
booktitle = {Proceedings of Eurofusion98},
editor = {Mark Bedworth and Jane O'Brien},
}