A case study in class library verification: Java’s vector...

International Journal on Software Tools for Technology Transfer (STTT) 2001 / 08 Vol. 3; Iss. 3

A case study in class library verification: Java’s vector class

Marieke Huisman, Bart Jacobs, Joachim van den Berg
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
3
Language:
english
Pages:
21
DOI:
10.1007/s100090100047
Date:
August, 2001
File:
PDF, 330 KB
english, 2001
Conversion to is in progress
Conversion to is failed