@misc{indiciae4679ac7c0859,
  title = {Experience Report on Formally Verifying Parts of OpenJDK's API with KeY},
  author = {Alexander Knüppel and Thomas Thüm and Carsten Pardylla and Ina Schaefer},
  year = {2018},
  doi = {10.4204/eptcs.284.5},
  url = {https://arxiv.org/abs/1811.10818},
  note = {Source identifier: 1811.10818}
}