Verifying OpenJDK's LinkedList using KeY (extended paper)

Hans-Dieter A. Hiep*, Olaf Maathuis, Jinting Bian, Frank S. de Boer, Stijn de Gouw

*Corresponding author for this work

Research output: Contribution to journalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)783-802
Number of pages20
JournalInternational Journal on Software Tools for Technology Transfer
Volume24
Issue number5
DOIs
Publication statusPublished - 2022

Cite this