BibTeX record conf/deductive/Reps93

download as .bib file

@inproceedings{DBLP:conf/deductive/Reps93,
  author    = {Thomas W. Reps},
  editor    = {Raghu Ramakrishnan},
  title     = {Demand Interprocedural Program Analysis Using Logic Databases},
  booktitle = {Applications of Logic Databases},
  series    = {The Kluwer International Series in Engineering and Computer Science
               296},
  pages     = {163--196},
  publisher = {Kluwer},
  year      = {1993},
  timestamp = {Tue, 29 May 2012 12:05:32 +0200},
  biburl    = {https://dblp.org/rec/conf/deductive/Reps93.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics