BibTeX record conf/iccad/LonsingGMNSSYMB19

• > Home > conf/iccad/LonsingGMNSSYMB19

@inproceedings{DBLP:conf/iccad/LonsingGMNSSYMB19,
  author       = {Florian Lonsing and
                  Karthik Ganesan and
                  Makai Mann and
                  Srinivasa Shashank Nuthakki and
                  Eshan Singh and
                  Mario Srouji and
                  Yahan Yang and
                  Subhasish Mitra and
                  Clark W. Barrett},
  editor       = {David Z. Pan},
  title        = {Unlocking the Power of Formal Hardware Verification with CoSA and
                  Symbolic {QED:} Invited Paper},
  booktitle    = {Proceedings of the International Conference on Computer-Aided Design,
                  {ICCAD} 2019, Westminster, CO, USA, November 4-7, 2019},
  pages        = {1--8},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICCAD45719.2019.8942096},
  doi          = {10.1109/ICCAD45719.2019.8942096},
  timestamp    = {Sat, 30 Sep 2023 09:44:05 +0200},
  biburl       = {https://dblp.org/rec/conf/iccad/LonsingGMNSSYMB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}