© University of Kent - Contact | Feedback | Legal | FOI | Cookies
The SAZ Project: Integrating SSADM and Z
F A C Polack, M Whiston, and K C Mander
In Proceedings FME'93, number 670, pages 182-196, Denmark, April 1993.Bibtex Record
@inproceedings{966, author = {F A C Polack and M Whiston and K C Mander}, title = {{The SAZ Project: Integrating SSADM and Z}}, month = {April}, year = {1993}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/1993/966}, address = {Denmark}, booktitle = {Proceedings FME'93}, number = {670}, other_year = {1993}, publication_type = {inproceedings}, submission_id = {5687_949919545}, }