BibTeX record conf/icai3/FulopP20

download as .bib file

@inproceedings{DBLP:conf/icai3/FulopP20,
  author       = {Endre F{\"{u}}l{\"{o}}p and
                  Norbert Pataki},
  editor       = {Gergely Kov{\'{a}}sznai and
                  Istv{\'{a}}n Fazekas and
                  Tibor T{\'{o}}m{\'{a}}cs},
  title        = {Comprehensive Evaluation of Cross Translation Unit Symbolic Execution},
  booktitle    = {Proceedings of the 11th International Conference on Applied Informatics
                  {(ICAI} 2020), Eger, Hungary, January 29-31, 2020},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2650},
  pages        = {105--113},
  publisher    = {CEUR-WS.org},
  year         = {2020},
  url          = {https://ceur-ws.org/Vol-2650/paper12.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:34 +0100},
  biburl       = {https://dblp.org/rec/conf/icai3/FulopP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics