BibTeX record conf/sigsoft/NaumovichCO96

download as .bib file

@inproceedings{DBLP:conf/sigsoft/NaumovichCO96,
  author    = {Gleb Naumovich and
               Lori A. Clarke and
               Leon J. Osterweil},
  title     = {Verification of Communication Protocols Using Data Flow Analysis},
  booktitle = {{SIGSOFT} '96, Proceedings of the Fourth {ACM} {SIGSOFT} Symposium
               on Foundations of Software Engineering, San Francisco, California,
               USA, October 16-18, 1996},
  pages     = {93--105},
  year      = {1996},
  crossref  = {DBLP:conf/sigsoft/1996},
  url       = {https://doi.org/10.1145/239098.239114},
  doi       = {10.1145/239098.239114},
  timestamp = {Tue, 06 Nov 2018 16:59:23 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/NaumovichCO96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/1996,
  editor    = {David Garlan},
  title     = {{SIGSOFT} '96, Proceedings of the Fourth {ACM} {SIGSOFT} Symposium
               on Foundations of Software Engineering, San Francisco, California,
               USA, October 16-18, 1996},
  publisher = {{ACM}},
  year      = {1996},
  timestamp = {Mon, 10 Jun 2013 17:49:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/1996},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics