© University of Kent - Contact | Feedback | Legal | FOI | Cookies
The Industrial Trial of SAZ: reflections on the use of an integrated specification method
H E D Parker, F A C Polack, and K C Mander
In Proceedings 7th International Conference on "Putting into practice methods and tools for information systems design", pages 182-196, Universite de Nantes, October 1995. Institut de Recherches en Informatique de Nantes.Bibtex Record
@inproceedings{971,
author = {H E D Parker and F A C Polack and K C Mander},
title = {{The Industrial Trial of SAZ: reflections on the use of an integrated specification method}},
month = {October},
year = {1995},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1995/971},
address = {Universite de Nantes},
booktitle = {Proceedings 7th International Conference on "Putting into practice methods and tools for information systems design"},
organization = {Institut de Recherches en Informatique de Nantes},
other_year = {1995},
publication_type = {inproceedings},
submission_id = {5950_949920780},
}