TY  - RPRT
TI  - Verifying OpenJDK's LinkedList using KeY
AU  - Hans-Dieter A. Hiep
AU  - Olaf Maathuis
AU  - Jinting Bian
AU  - Frank S. de Boer
AU  - Marko van Eekelen
AU  - Stijn de Gouw
PY  - 2019
UR  - https://arxiv.org/abs/1911.04195
ID  - 1911.04195
ER  -