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
