Persistent URL of this record https://hdl.handle.net/1887/3765724
Documents
-
- Download
- Full text
- Publisher's Version
-
open access
- Full text at publishers site
In Collections
This item can be found in the following collections:
Verifying OpenJDK’s LinkedList using KeY (extended paper)
- All authors
- Hiep, H.A.; Maathuis, O.; Bian, J.; Boer, F.S. de; Gouw, C.P.T. de
- Date
- 2022
- Volume
- 24
- Pages
- 783 - 802