BibTeX record conf/sigsoft/LiCK10

download as .bib file

@inproceedings{DBLP:conf/sigsoft/LiCK10,
  author    = {Lian Li and
               Cristina Cifuentes and
               Nathan Keynes},
  title     = {Practical and effective symbolic analysis for buffer overflow detection},
  booktitle = {Proceedings of the 18th {ACM} {SIGSOFT} International Symposium on
               Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November
               7-11, 2010},
  pages     = {317--326},
  year      = {2010},
  crossref  = {DBLP:conf/sigsoft/2010},
  url       = {http://doi.acm.org/10.1145/1882291.1882338},
  doi       = {10.1145/1882291.1882338},
  timestamp = {Mon, 16 Apr 2018 15:34:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/LiCK10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2010,
  editor    = {Gruia{-}Catalin Roman and
               Andr{\'{e}} van der Hoek},
  title     = {Proceedings of the 18th {ACM} {SIGSOFT} International Symposium on
               Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November
               7-11, 2010},
  publisher = {{ACM}},
  year      = {2010},
  isbn      = {978-1-60558-791-2},
  timestamp = {Mon, 16 Apr 2018 15:34:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier