Towards Verification of Well-Formed Transactions in Java Card Bytecode

René Rydhof Hansen, Igor Siveroni

    Research output: Contribution to journalConference article

    Original languageEnglish
    JournalElectronic Notes in Theoretical Computer Science
    Volume141
    Issue number1
    Pages (from-to)145-162
    ISSN1571-0661
    Publication statusPublished - 2005
    EventProceedings of the First Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 2005) -
    Duration: 1 Jan 2005 → …

    Conference

    ConferenceProceedings of the First Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 2005)
    Period01/01/2005 → …

    Cite this