%0 Conference Paper %1 journals/corr/abs-1811-10818 %A Knüppel, Alexander %A Thüm, Thomas %A Pardylla, Carsten %A Schaefer, Ina %B F-IDE@FLoC %D 2018 %E Masci, Paolo %E Monahan, Rosemary %E Prevosto, Virgile %K dblp %P 53-70 %T Experience Report on Formally Verifying Parts of OpenJDK's API with KeY. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs284.html#abs-1811-10818 %V 284

@inproceedings{journals/corr/abs-1811-10818, added-at = {2018-12-04T00:00:00.000+0100}, author = {Knüppel, Alexander and Thüm, Thomas and Pardylla, Carsten and Schaefer, Ina}, biburl = {https://www.bibsonomy.org/bibtex/277f3d64db38ee6c19819a4fdd8570573/dblp}, booktitle = {F-IDE@FLoC}, crossref = {journals/corr/abs-1811-09014}, editor = {Masci, Paolo and Monahan, Rosemary and Prevosto, Virgile}, ee = {http://arxiv.org/abs/1811.10818}, interhash = {161617d7063b3decfcab97c59041a42c}, intrahash = {77f3d64db38ee6c19819a4fdd8570573}, keywords = {dblp}, pages = {53-70}, series = {EPTCS}, timestamp = {2024-04-09T09:30:46.000+0200}, title = {Experience Report on Formally Verifying Parts of OpenJDK's API with KeY.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs284.html#abs-1811-10818}, volume = 284, year = 2018 }