Specification and Proof of the Mondex Electronic Purse

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

    Original languageEnglish
    Title of host publicationProceedings of Automated Formal Methods 2006 (AFM 2006), Seattle, USA
    Publication date2006
    Publication statusPublished - 2006
    EventAutomated Formal Methods 2006 - Seattle, United States
    Duration: 21 Aug 200621 Aug 2006
    Conference number: 1

    Workshop

    WorkshopAutomated Formal Methods 2006
    Number1
    Country/TerritoryUnited States
    CitySeattle
    Period21/08/200621/08/2006
    OtherHeld as part of the Federated Logic Conference (FLoC)

    Cite this