Specification and Proof of the Mondex Electronic Purse



TypeConference paper [With referee]
ConferenceProceedings of 1st Asian Working Conference on Verified Software (AWCVS 2006), Macao
Year2006
PublisherUNU-IIST,
SeriesReport No. 347
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering