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 proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationProceedings of the Workshop on Object-Oriented Technology
PublisherACM Publishing
Number of pages2
Publication statusPublished - 1999
Externally publishedYes

Cite this