Skip to main content

An Electronic Purse: Specification, Refinement and Proof

Stepney, Susan and Cooper, David and Woodcock, Jim (2000) An Electronic Purse: Specification, Refinement and Proof. Technical report. Oxford University

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 > Sciences > School of Computing > Systems Architecture Group
Depositing User: Mark Wheadon
Date Deposited: 09 Sep 2009 14:42 UTC
Last Modified: 28 May 2019 14:48 UTC
Resource URI: (The current URI for this page, for reference purposes)
  • Depositors only (login required):


Downloads per month over past year