DBLP Record 'conf/aadebug/Herranz-NievaM00'

BibTeX

@inproceedings{DBLP:conf/aadebug/Herranz-NievaM00,
  author    = {{\'A}ngel Herranz-Nieva and
               Juan Jos{\'e} Moreno-Navarro},
  title     = {Generation of and Debugging with Logical Pre and Post-Conditions},
  booktitle = {AADEBUG},
  year      = {2000},
  ee        = {http://arxiv.org/abs/cs.PL/0101009},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}