© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Rigorous Specification using Structured Systems Analysis and Z
K C Mander and F A C Polack
Information and Software Technology, 37(5-6):182-196, September 1995.Bibtex Record
@article{970,
author = {K C Mander and F A C Polack},
title = {{Rigorous Specification using Structured Systems Analysis and Z}},
month = {September},
year = {1995},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1995/970},
journal = {Information and Software Technology},
number = {5-6},
other_year = {1995},
publication_type = {article},
submission_id = {5920_949920665},
volume = {37},
}