BibTeX record: conf/agp/AlpuenteBEFL03

download as .bib file

@inproceedings{DBLP:conf/agp/AlpuenteBEFL03,
  author    = {Mar{\'{\i}}a Alpuente and
               Demis Ballis and
               Santiago Escobar and
               Moreno Falaschi and
               Salvador Lucas},
  title     = {Abstract Correction of OBJ-like Programs},
  booktitle = {2003 Joint Conference on Declarative Programming, AGP-2003, Reggio
               Calabria, Italy, September 3-5, 2003},
  year      = {2003},
  pages     = {422--433},
  crossref  = {DBLP:conf/agp/2003},
  timestamp = {Mon, 20 Oct 2014 20:41:33 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/agp/AlpuenteBEFL03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/agp/2003,
  editor    = {Francesco Buccafurri},
  title     = {2003 Joint Conference on Declarative Programming, AGP-2003, Reggio
               Calabria, Italy, September 3-5, 2003},
  year      = {2003},
  timestamp = {Mon, 20 Oct 2014 20:41:33 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/agp/2003},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}