BibTeX record journals/corr/abs-1205-6527

download as .bib file

@article{DBLP:journals/corr/abs-1205-6527,
  author    = {J{\"{u}}rgen Christ and
               Jochen Hoenicke and
               Martin Sch{\"{a}}f},
  title     = {Towards Bounded Infeasible Code Detection},
  journal   = {CoRR},
  volume    = {abs/1205.6527},
  year      = {2012}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics