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