Verifying OpenJDK’s LinkedList using KeY (extended paper)
Crossref DOI link: https://doi.org/10.1007/s10009-022-00679-7
Published Online: 2022-10-17
Published Print: 2022-10
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Hiep, Hans-Dieter A. http://orcid.org/0000-0001-9677-6644
Maathuis, Olaf
Bian, Jinting http://orcid.org/0000-0001-5003-598X
de Boer, Frank S.
de Gouw, Stijn
Text and Data Mining valid from 2022-10-01
Version of Record valid from 2022-10-17
Article History
Accepted: 29 August 2022
First Online: 17 October 2022