BibTeX record conf/agp/DelzannoGR10

download as .bib file

@inproceedings{DBLP:conf/agp/DelzannoGR10,
  author    = {Giorgio Delzanno and
               Roberto Giacobazzi and
               Francesco Ranzato},
  title     = {Static Analysis, Abstract Interpretation and Verification in (Constraint
               Logic) Programming},
  booktitle = {A 25-Year Perspective on Logic Programming: Achievements of the Italian
               Association for Logic Programming, {GULP}},
  pages     = {136--158},
  year      = {2010},
  crossref  = {DBLP:conf/agp/2010},
  url       = {https://doi.org/10.1007/978-3-642-14309-0\_7},
  doi       = {10.1007/978-3-642-14309-0\_7},
  timestamp = {Thu, 25 May 2017 00:42:16 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/agp/DelzannoGR10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/agp/2010,
  editor    = {Agostino Dovier and
               Enrico Pontelli},
  title     = {A 25-Year Perspective on Logic Programming: Achievements of the Italian
               Association for Logic Programming, {GULP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6125},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-14309-0},
  doi       = {10.1007/978-3-642-14309-0},
  isbn      = {978-3-642-14308-3},
  timestamp = {Thu, 25 May 2017 00:42:16 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/agp/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics