BibTeX record conf/pppj/KloibhoferPHMSL20

download as .bib file

@inproceedings{DBLP:conf/pppj/KloibhoferPHMSL20,
  author    = {Sebastian Kloibhofer and
               Thomas Pointhuber and
               Maximilian Heisinger and
               Hanspeter M{\"{o}}ssenb{\"{o}}ck and
               Lukas Stadler and
               David Leopoldseder},
  editor    = {Stefan Marr},
  title     = {SymJEx: symbolic execution on the GraalVM},
  booktitle = {{MPLR} '20: 17th International Conference on Managed Programming Languages
               and Runtimes, Virtual Event, UK, November 4-6, 2020},
  pages     = {63--72},
  publisher = {{ACM}},
  year      = {2020},
  url       = {https://doi.org/10.1145/3426182.3426187},
  doi       = {10.1145/3426182.3426187},
  timestamp = {Thu, 05 Nov 2020 15:04:40 +0100},
  biburl    = {https://dblp.org/rec/conf/pppj/KloibhoferPHMSL20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics