BibTeX record conf/paste/NaumovichCC99

download as .bib file

@inproceedings{DBLP:conf/paste/NaumovichCC99,
  author       = {Gleb Naumovich and
                  Lori A. Clarke and
                  Jamieson M. Cobleigh},
  editor       = {William G. Griswold and
                  Susan Horwitz},
  title        = {Using Partial Order Techniques to Improve Performance of Data Flow
                  Analysis Based Verification},
  booktitle    = {Proceedings of the {SIGPLAN/SIGSOFT} Workshop on Program Analysis
                  For Software Tools and Engineering, {PASTE} '99, Toulouse, France,
                  September 6, 1999},
  pages        = {57--65},
  publisher    = {{ACM}},
  year         = {1999},
  url          = {https://doi.org/10.1145/316158.316180},
  doi          = {10.1145/316158.316180},
  timestamp    = {Tue, 06 Nov 2018 16:58:01 +0100},
  biburl       = {https://dblp.org/rec/conf/paste/NaumovichCC99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics