A case study in class library verification: Java's vector class (Q5953451)
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: A case study in class library verification: Java's vector class |
scientific article; zbMATH DE number 1694305
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A case study in class library verification: Java's vector class |
scientific article; zbMATH DE number 1694305 |
Statements
A case study in class library verification: Java's vector class (English)
0 references
23 January 2002
0 references
Java's standard library
0 references
0.7519775032997131
0 references
0.7404355406761169
0 references
0.725598931312561
0 references