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