Specification, Proof, and Model-checking of the Mondex Electronic Purse using RAISE | Chris George, Anne E. Haxthausen
| | Type | Technical report | | Year | 2007 Month February | | Publisher | UNU-IIST | | Series | UNU-IIST Report | | ISBN / ISSN | 352 | | BibTeX data | [bibtex] | | IMM Group(s) | Computer Science & Engineering |
|