Analysis and formal specification of OpenJDK’s BitSet

Author(s):
Tatman, A.S.; Hiep, H.A. (0000-0001-9677-6644); Gouw, C.P.T. de
Editor(s):
Herber, P.; Wijs, A.
Published
2023
Publication type
Article in monograph or in proceedings
Date issued
2023
Language
English
Publisher
Cham: Springer
Is part of
Lecture Notes in Computer Science (2023), Pt. 14300, p. 134-152
ISBN source
9783031477041
hdl
1887/3766075
doi
10.1007/978-3-031-47705-8_8

Conference

Meeting name
Integrated Formal Methods, iFM 2023
Meeting location
Leiden, Netherlands
Meeting date
2023-11-13 - 2023-11-15