Analysis and Formal Specification of OpenJDK's BitSet. - Andy S. Tatman; Hans-Dieter A. Hiep; Stijn de Gouw (iFM, 2023)

Analysis and formal specification of OpenJDK's BitSet: Proof files. - Andy S. Tatman; Hans-Dieter A. Hiep; Stijn de Gouw (Sci. Comput. Program., 2025)