BibTeX record journals/corr/abs-1811-10818

• > Home > journals/corr/abs-1811-10818

@inproceedings{DBLP:journals/corr/abs-1811-10818,
  author       = {Alexander Kn{\"{u}}ppel and
                  Thomas Th{\"{u}}m and
                  Carsten Pardylla and
                  Ina Schaefer},
  editor       = {Paolo Masci and
                  Rosemary Monahan and
                  Virgile Prevosto},
  title        = {Experience Report on Formally Verifying Parts of OpenJDK's {API} with
                  KeY},
  booktitle    = {Proceedings 4th Workshop on Formal Integrated Development Environment,
                  F-IDE@FLoC 2018, Oxford, England, 14 July 2018},
  series       = {{EPTCS}},
  volume       = {284},
  pages        = {53--70},
  year         = {2018},
  url          = {https://doi.org/10.4204/EPTCS.284.5},
  doi          = {10.4204/EPTCS.284.5},
  timestamp    = {Sat, 09 Apr 2022 12:27:07 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1811-10818.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}