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

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

Cite this