Analysis and Formal Specification of OpenJDK's BitSet.

Andy S. Tatman, Hans-Dieter A. Hiep, Stijn de Gouw

Browse the full IFM paper archive.