BibTeX record conf/fmcad/BalakrishnanGGIKLMPSSW10

• > Home > conf/fmcad/BalakrishnanGGIKLMPSSW10

@inproceedings{DBLP:conf/fmcad/BalakrishnanGGIKLMPSSW10,
  author       = {Gogul Balakrishnan and
                  Malay K. Ganai and
                  Aarti Gupta and
                  Franjo Ivancic and
                  Vineet Kahlon and
                  Weihong Li and
                  Naoto Maeda and
                  Nadia Papakonstantinou and
                  Sriram Sankaranarayanan and
                  Nishant Sinha and
                  Chao Wang},
  editor       = {Roderick Bloem and
                  Natasha Sharygina},
  title        = {Scalable and precise program analysis at {NEC}},
  booktitle    = {Proceedings of 10th International Conference on Formal Methods in
                  Computer-Aided Design, {FMCAD} 2010, Lugano, Switzerland, October
                  20-23},
  pages        = {273--274},
  publisher    = {{IEEE}},
  year         = {2010},
  url          = {https://ieeexplore.ieee.org/document/5770960/},
  timestamp    = {Sat, 30 Sep 2023 09:41:19 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/BalakrishnanGGIKLMPSSW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}