Analysis and formal specification of OpenJDK's BitSet: Proof files

Science of Computer Programming, vol. 241, pp. 103232

Authors 3

1. Andy S. Tatman corresponding

   University of Amsterdam · Vrije Universiteit Amsterdam

   Affiliation as printed

   Vrije Universiteit (VU), Universiteit van Amsterdam (UvA), Netherlands

2. Hans-Dieter A. Hiep Aachen Leiden Institute of Advanced Computer Science

   Leiden University · Centrum Wiskunde & Informatica

   Affiliation as printed

   Leiden Institute of Advanced Computer Science (LIACS), Centrum Wiskunde & Informatica (CWI), Netherlands

3. Stijn de Gouw

   Open University of the Netherlands

   Affiliation as printed

   Open Universiteit (OU), Netherlands