BibTeX record conf/aswec/LinM15

download as .bib file

@inproceedings{DBLP:conf/aswec/LinM15,
  author       = {Yude Lin and
                  Tim Miller},
  editor       = {Fei{-}Ching Diana Kuo and
                  Stuart Marshall and
                  Haifeng Shen and
                  Markus Stumptner and
                  Muhammad Ali Babar},
  title        = {Looking Closer at Compositional Symbolic Execution},
  booktitle    = {Proceedings of the 24th Australasian Software Engineering Conference,
                  {ASWEC} 2015, Volume II, Adelaide, SA, Australia, September 28 - October
                  1, 2015},
  pages        = {138--140},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2811681.2817758},
  doi          = {10.1145/2811681.2817758},
  timestamp    = {Fri, 14 Apr 2023 23:05:44 +0200},
  biburl       = {https://dblp.org/rec/conf/aswec/LinM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.