Specification, Proof, and Model-checking of the Mondex Electronic Purse using RAISE

    Research output: Book/ReportReportResearchpeer-review

    Original languageEnglish
    PublisherUNU-IIST
    Publication statusPublished - 2007

    Cite this