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

Marieke Huisman, Bart Jacobs, Joachim van den Berg

Research output: Contribution to journalArticleAcademicpeer-review

15 Citations (Scopus)
Original languageEnglish
Pages (from-to)332-352
Number of pages21
JournalInternational journal on software tools for technology transfer
Volume3
Issue number3
DOIs
Publication statusPublished - 2001
Externally publishedYes

Cite this