The KRAKATOA tool for certification of JAVA/JAVACARD programs annotated in JML (Q1881670)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: The KRAKATOA tool for certification of JAVA/JAVACARD programs annotated in JML |
scientific article; zbMATH DE number 2107871
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The KRAKATOA tool for certification of JAVA/JAVACARD programs annotated in JML |
scientific article; zbMATH DE number 2107871 |
Statements
The KRAKATOA tool for certification of JAVA/JAVACARD programs annotated in JML (English)
0 references
14 October 2004
0 references
JAVA
0 references
JML specifications
0 references
Modeling
0 references
Formal proof
0 references
0 references
0.8438277
0 references
0.82622695
0 references
