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