Specification and Proof of the Mondex Electronic Purse |
C. W. George, A. E. Haxthausen
|
| Type | Conference paper [With referee] |
| Conference | Proceedings of Automated Formal Methods 2006 (AFM 2006), Seattle |
| Year | 2006 |
| BibTeX data | [bibtex] |
| IMM Group(s) | Computer Science & Engineering |