© 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}, }