A Case Study in Class Library Verification: Java's Vector Class

Marieke Huisman, Bart Jacobs, Joachim van den Berg

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Proceedings of the Workshop on Object-Oriented Technology
Publisher	ACM Publishing
Pages	109-110
Number of pages	2
Publication status	Published - 1999
Externally published	Yes

Access to Document

@inproceedings{52a7a20dacd2436cb77bcac678145afe,

title = "A Case Study in Class Library Verification: Java's Vector Class",

author = "Marieke Huisman and Bart Jacobs and Berg, {Joachim van den}",

year = "1999",

language = "English",

pages = "109--110",

booktitle = "Proceedings of the Workshop on Object-Oriented Technology",

publisher = "ACM Publishing",

}