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},
  pages     = {422--433},
  year      = {2003},
  crossref  = {DBLP:conf/agp/2003},
  timestamp = {Wed, 01 Dec 2004 15:29:03 +0100},
  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 = {Wed, 01 Dec 2004 15:29:03 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/agp/2003},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}