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

• 1 August 2001
• journal article
• regular contribution
• Published by Springer Nature in International Journal on Software Tools for Technology Transfer
• Vol. 3  (3) , 332-352
• https://doi.org/10.1007/s100090100047

Abstract

Keywords

• KEY WORDS: JAVA – INVARIANT – PROGRAM VERIFICATION – SPECIFICATION