Leiden University Scholarly Publications

Persistent URL of this record https://hdl.handle.net/1887/3766075

Documents

In Collections

This item can be found in the following collections:

Tatman, A.S.; Hiep, H.A.; Gouw, C.P.T. de (2023)

Analysis and formal specification of OpenJDK’s BitSet

Article in monograph or in proceedings
All authors
Tatman, A.S.; Hiep, H.A.; Gouw, C.P.T. de
Editor(s)
Herber, P.; Wijs, A.
Date
2023
Title of host publication
Lecture Notes in Computer Science; Integrated formal methods. iFM 2023
Pages
134 - 152
ISBN (print)
9783031477041
ISBN (electronic)
9783031477058
DOI
doi:10.1007/978-3-031-47705-8_8

Publication Series

Name
14300

Conference

Conference
Integrated Formal Methods, iFM 2023
Date
2023-11-13 - 2023-11-15
Location
Leiden, Netherlands