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 |
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