An Electronic Purse: Specification, Refinement and Proof

Stepney, S. and Cooper, C. and Woodcock, J.C.P. (2000) An Electronic Purse: Specification, Refinement and Proof. Technical report. Oxford University (Full text available)

PDF
Download (731kB)
[img]
Preview
Item Type: Monograph (Technical report)
Additional information: Technical Monograph PRG-126 ISBN 0–902928–41–4 July 2000 Oxford University Computing Laboratory Programming Research Group Wolfson Building Parks Road Oxford OX1 3QD England
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Science Technology and Medical Studies > School of Computing > Systems Architecture Group
Depositing User: Mark Wheadon
Date Deposited: 09 Sep 2009 14:42
Last Modified: 06 Sep 2011 04:10
Resource URI: http://kar.kent.ac.uk/id/eprint/22009 (The current URI for this page, for reference purposes)
  • Depositors only (login required):

Downloads

Downloads per month over past year