BibTeX record conf/cav/TruongHSMDZDSHB20

• > Home > conf/cav/TruongHSMDZDSHB20

@inproceedings{DBLP:conf/cav/TruongHSMDZDSHB20,
  author       = {Lenny Truong and
                  Steven Herbst and
                  Rajsekhar Setaluri and
                  Makai Mann and
                  Ross G. Daly and
                  Keyi Zhang and
                  Caleb Donovick and
                  Daniel Stanley and
                  Mark Horowitz and
                  Clark W. Barrett and
                  Pat Hanrahan},
  editor       = {Shuvendu K. Lahiri and
                  Chao Wang},
  title        = {fault: {A} Python Embedded Domain-Specific Language for Metaprogramming
                  Portable Hardware Verification Components},
  booktitle    = {Computer Aided Verification - 32nd International Conference, {CAV}
                  2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12224},
  pages        = {403--414},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-53288-8\_19},
  doi          = {10.1007/978-3-030-53288-8\_19},
  timestamp    = {Mon, 03 Jan 2022 22:13:45 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/TruongHSMDZDSHB20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}