TY  - RPRT
TI  - Experience Report on Formally Verifying Parts of OpenJDK's API with KeY
AU  - Alexander Knüppel
AU  - Thomas Thüm
AU  - Carsten Pardylla
AU  - Ina Schaefer
PY  - 2018
DO  - 10.4204/eptcs.284.5
UR  - https://arxiv.org/abs/1811.10818
ID  - 1811.10818
ER  -