Specification and Proof of the Mondex Electronic Purse

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	Proceedings of Automated Formal Methods 2006 (AFM 2006), Seattle, USA
Publication date	2006
Publication status	Published - 2006
Event	Automated Formal Methods 2006 - Seattle, United States Duration: 21 Aug 2006 → 21 Aug 2006 Conference number: 1

Workshop	Automated Formal Methods 2006
Number	1
Country/Territory	United States
City	Seattle
Period	21/08/2006 → 21/08/2006
Other	Held as part of the Federated Logic Conference (FLoC)

OpenUrl availability

@inproceedings{780e5015e091404686df9e75b67c2deb,

title = "Specification and Proof of the Mondex Electronic Purse",

author = "C.W. George and Haxthausen, \{Anne Elisabeth\}",

year = "2006",

language = "English",

booktitle = "Proceedings of Automated Formal Methods 2006 (AFM 2006), Seattle, USA",

note = "Automated Formal Methods 2006 , AFM 2006 ; Conference date: 21-08-2006 Through 21-08-2006",

}