Computer Science Monographs
200019991997199619951994199319921991199019891988198719861985198419831982198119801978197619741973197219711970
|
[PRG126] |
AN ELECTRONIC PURSE − Specification‚ Refinement‚ and Proof Susan Stepney‚ David Cooper and Jim Woodcock No. PRG126. OUCL. July, 2000. |