Specification and Runtime Verification of Java Card Programs (Q5179352)

From MaRDI portal
scientific article; zbMATH DE number 6417332
Language Label Description Also known as
English
Specification and Runtime Verification of Java Card Programs
scientific article; zbMATH DE number 6417332

    Statements

    Specification and Runtime Verification of Java Card Programs (English)
    0 references
    19 March 2015
    0 references
    JML
    0 references
    Java card
    0 references
    JCML
    0 references
    compiler
    0 references
    runtime verification
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references