© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Derivation of Refinement Proof Rules for Z: forwards and backwards rules incorporating input/output refinement
D Cooper, S Stepney, and J Woodcock
Technical Report PRG-127, Oxford University Computing Laboratory, October 2000.Bibtex Record
@techreport{1529,
author = {D Cooper and S Stepney and J Woodcock},
title = {{Derivation of Refinement Proof Rules for Z: forwards and backwards rules incorporating input/output refinement}},
month = {October},
year = {2000},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2000/1529},
publication_type = {techreport},
submission_id = {17875_1034331614},
institution = {Oxford University Computing Laboratory},
number = {PRG-127},
}