A case study in class library verification: Java's vector class (Q5953451)
From MaRDI portal
scientific article; zbMATH DE number 1694305
| Language | Label | Description | Also known as |
|---|---|---|---|
| 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
