@misc{indiciae84a26332d097,
  title = {Verifying OpenJDK's LinkedList using KeY},
  author = {Hans-Dieter A. Hiep and Olaf Maathuis and Jinting Bian and Frank S. de Boer and Marko van Eekelen and Stijn de Gouw},
  year = {2019},
  url = {https://arxiv.org/abs/1911.04195},
  note = {Source identifier: 1911.04195}
}