Verifying OpenJDK’s LinkedList using KeY (extended paper)
- Author(s):
- Hiep, H.A. (0000-0001-9677-6644); Maathuis, O.; Bian, J.; Boer, F.S. de; Gouw, C.P.T. de
- Published
- 2022
- Publication type
- Article / Letter to editor
- Date issued
- 2022
- Language
- English
- Publisher
- Springer Science and Business Media LLC
- Is part of
- International Journal on Software Tools for Technology Transfer (2022), Vol. 24, p. 783-802
- hdl
- 1887/3765724
- doi
- 10.1007/s10009-022-00679-7
- URL
- https://link.springer.com/article/10.1007/s10009-022-00679-7
