Specification and Proof of the Mondex Electronic Purse

Anne Elisabeth Haxthausen, C.W. George, M. Schutz

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Original languageEnglish
    Title of host publicationProceedings of 1st Asian Working Conference on Verified Software (AWCVS 2006), Macao : Report No. 347
    PublisherUNU-IIST
    Publication date2006
    Publication statusPublished - 2006
    Event1st Asian Working Conference on Verified Software - Macao, China
    Duration: 29 Oct 200631 Oct 2006

    Conference

    Conference1st Asian Working Conference on Verified Software
    Country/TerritoryChina
    CityMacao
    Period29/10/200631/10/2006

    Cite this