@Inproceedings{EPTCS284.5, author = {Kn\"uppel, Alexander and Th\"um, Thomas and Pardylla, Carsten and Schaefer, Ina}, year = {2018}, title = {Experience Report on Formally Verifying Parts of OpenJDK's API with KeY}, editor = {Masci, Paolo and Monahan, Rosemary and Prevosto, Virgile }, booktitle = {{\rm Proceedings 4th Workshop on} Formal Integrated Development Environment, {\rm Oxford, England, 14 July 2018}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {284}, publisher = {Open Publishing Association}, pages = {53-70}, doi = {10.4204/EPTCS.284.5}, }