© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Software Quality Assurance using the SAZ Method
F A C Polack and K C Mander
In Proceedings of Z User Meeting, pages 182-196. Springer-Verlag, July 1994.Bibtex Record
@inproceedings{969,
author = {F A C Polack and K C Mander},
title = {{Software Quality Assurance using the SAZ Method}},
month = {July},
year = {1994},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1994/969},
booktitle = {Proceedings of Z User Meeting},
other_year = {1994},
publication_type = {inproceedings},
publisher = {Springer-Verlag},
submission_id = {5888_949920523},
}