Leiden University Scholarly Publications

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

View statistics

In Collections

This item can be found in the following collections:

Faculty of Science: Other

Verifying OpenJDK’s LinkedList using KeY (extended paper)

Hiep, H.A.; Maathuis, O.; Bian, J.; Boer, F.S. de; Gouw, C.P.T. de (2022)

Verifying OpenJDK’s LinkedList using KeY (extended paper)

Article / Letter to editor

All authors: Hiep, H.A.; Maathuis, O.; Bian, J.; Boer, F.S. de; Gouw, C.P.T. de

Date: 2022

Journal: International Journal on Software Tools for Technology Transfer

Volume: 24

Pages: 783 - 802

DOI: doi:10.1007/s10009-022-00679-7

Link: https://link.springer.com/article/10.1007/s10009-022-00679-7