© University of Kent - Contact | Feedback | Legal | FOI | Cookies
An Electronic Purse: Specification, Refinement and Proof
S Stepney, D Cooper, and J Woodcock
Technical Report PRG-126, Oxford University Computing Laboratory, July 2000.Bibtex Record
@techreport{1527,
author = {S Stepney and D Cooper and J Woodcock},
title = {{An Electronic Purse: Specification, Refinement and Proof}},
month = {July},
year = {2000},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2000/1527},
publication_type = {techreport},
submission_id = {17972_1034332083},
institution = {Oxford University Computing Laboratory},
number = {PRG-126},
}