BibTeX record conf/scam/NaylorR07

download as .bib file

@inproceedings{DBLP:conf/scam/NaylorR07,
  author       = {Matthew Naylor and
                  Colin Runciman},
  title        = {Finding Inputs that Reach a Target Expression},
  booktitle    = {Seventh {IEEE} International Workshop on Source Code Analysis and
                  Manipulation {(SCAM} 2007), September 30 - October 1, 2007, Paris,
                  France},
  pages        = {133--142},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/SCAM.2007.30},
  doi          = {10.1109/SCAM.2007.30},
  timestamp    = {Fri, 24 Mar 2023 00:02:43 +0100},
  biburl       = {https://dblp.org/rec/conf/scam/NaylorR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics