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 1st Asian Working Conference on Verified Software (AWCVS 2006), Macao : Report No. 347
Publisher	UNU-IIST
Publication date	2006
Publication status	Published - 2006
Event	1st Asian Working Conference on Verified Software - Macao, China Duration: 29 Oct 2006 → 31 Oct 2006

Conference	1st Asian Working Conference on Verified Software
Country/Territory	China
City	Macao
Period	29/10/2006 → 31/10/2006

OpenUrl availability

@inproceedings{05ec56a3438c4d0885d5470eab2fa966,

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

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

year = "2006",

language = "English",

booktitle = "Proceedings of 1st Asian Working Conference on Verified Software (AWCVS 2006), Macao",

publisher = "UNU-IIST",

note = "1st Asian Working Conference on Verified Software, AWCVS'2006 ; Conference date: 29-10-2006 Through 31-10-2006",

}

TY - GEN

T1 - Specification and Proof of the Mondex Electronic Purse

AU - Haxthausen, Anne Elisabeth

AU - George, C.W.

AU - Schutz, M.

PY - 2006

Y1 - 2006

M3 - Article in proceedings

BT - Proceedings of 1st Asian Working Conference on Verified Software (AWCVS 2006), Macao

PB - UNU-IIST

T2 - 1st Asian Working Conference on Verified Software

Y2 - 29 October 2006 through 31 October 2006

ER -