© University of Kent - Contact | Feedback | Legal | FOI | Cookies
The SAZ Project: Integrating SSADM and Z
K C Mander, F A C Polack, and M Whiston
In Proceedings JFIT conference, pages 182-196. University of Keele, March 1993.Bibtex Record
@inproceedings{967, author = {K C Mander and F A C Polack and M Whiston}, title = {{The SAZ Project: Integrating SSADM and Z}}, month = {March}, year = {1993}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/1993/967}, booktitle = {Proceedings JFIT conference}, organization = {University of Keele}, other_year = {1993}, publication_type = {inproceedings}, submission_id = {5744_949919808}, }