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