© University of Kent - Contact | Feedback | Legal | FOI | Cookies
The SAZ Method: Version 1.0
K C Mander, F A C Polack, and M Whiston
In YCS 207, pages 182-196, University of York, September 1993.Bibtex Record
@inproceedings{968,
author = {K C Mander and F A C Polack and M Whiston},
title = {{The SAZ Method: Version 1.0}},
month = {September},
year = {1993},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1993/968},
address = {University of York},
booktitle = {YCS 207},
other_year = {1993},
publication_type = {inproceedings},
submission_id = {5820_949920206},
}