Toggle navigation
Radboud Repository
Toggle navigation
View Item
Radboud Repository
Collections Radboud University
Academic publications
View Item
Radboud Repository
Collections Radboud University
Academic publications
View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
Search Repository
This Collection
Browse
All of Repository
Collections
Departments
Date Issued
Authors
Titles
Document type
This Collection
Departments
Date Issued
Authors
Titles
Document type
Statistics
View Item Statistics
A case study in Class Library Verification : Java's Vector Class
Fulltext:
18844.pdf
Size:
377.7Kb
Format:
PDF
Download
Publication year
2000
Author(s)
Huisman, M.
Jacobs, B.P.F.
Berg, J.A.G.M. van den
Publisher
[S.l. : s.n.]
Number of pages
38 p.
Publication type
External research report
If a DOI or any other persistent identifier is unavailable, please use the following repository identifier to link to this item:
https://hdl.handle.net/2066/18844
Display more details
Display less details
Organization
Security of Systems
This item appears in the following Collection(s)
Academic publications
[246860]
Electronic publications
[134251]
Faculty of Science
[38055]
Open Access publications
[107774]
Upload full text
Use your RU credentials (u/z-number and password) to
log in with SURFconext
to upload a file for processing by the repository team.