Verifying OpenJDK's LinkedList using KeY
- Hans-Dieter A. Hiep*
- , Olaf Maathuis
- , Jinting Bian
- , Frank S. de Boer
- , Marko C. J. D. van Eekelen
- , Stijn de Gouw
*Corresponding author for this work
Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review