BibTeX record conf/vmcai/ZoharIMNNPRBT22

download as .bib file

@inproceedings{DBLP:conf/vmcai/ZoharIMNNPRBT22,
  author    = {Yoni Zohar and
               Ahmed Irfan and
               Makai Mann and
               Aina Niemetz and
               Andres N{\"{o}}tzli and
               Mathias Preiner and
               Andrew Reynolds and
               Clark W. Barrett and
               Cesare Tinelli},
  editor    = {Bernd Finkbeiner and
               Thomas Wies},
  title     = {Bit-Precise Reasoning via Int-Blasting},
  booktitle = {Verification, Model Checking, and Abstract Interpretation - 23rd International
               Conference, {VMCAI} 2022, Philadelphia, PA, USA, January 16-18, 2022,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {13182},
  pages     = {496--518},
  publisher = {Springer},
  year      = {2022},
  url       = {https://doi.org/10.1007/978-3-030-94583-1\_24},
  doi       = {10.1007/978-3-030-94583-1\_24},
  timestamp = {Fri, 21 Jan 2022 22:02:46 +0100},
  biburl    = {https://dblp.org/rec/conf/vmcai/ZoharIMNNPRBT22.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics