Andy S. Tatman, Hans-Dieter A. Hiep, Stijn de Gouw. Analysis and formal specification of OpenJDK's BitSet: Proof files. Science of Computer Programming, 241:103232, 2025. [doi]
@article{TatmanHG25,
title = {Analysis and formal specification of OpenJDK's BitSet: Proof files},
author = {Andy S. Tatman and Hans-Dieter A. Hiep and Stijn de Gouw},
year = {2025},
doi = {10.1016/j.scico.2024.103232},
url = {https://doi.org/10.1016/j.scico.2024.103232},
researchr = {https://researchr.org/publication/TatmanHG25},
cites = {0},
citedby = {0},
journal = {Science of Computer Programming},
volume = {241},
pages = {103232},
}