BibTeX record conf/aadebug/Herranz-NievaM00

download as .bib file

@inproceedings{DBLP:conf/aadebug/Herranz-NievaM00,
  author       = {{\'{A}}ngel Herranz{-}Nieva and
                  Juan Jos{\'{e}} Moreno{-}Navarro},
  editor       = {Mireille Ducass{\'{e}}},
  title        = {Generation of and Debugging with Logical Pre and Post-Conditions},
  booktitle    = {Proceedings of the Fourth International Workshop on Automated Debugging,
                  {AADEBUG} 2000, Munich, Germany, August 28-30th, 2000},
  year         = {2000},
  url          = {https://arxiv.org/abs/cs/0101009},
  timestamp    = {Thu, 09 Jan 2020 10:51:05 +0100},
  biburl       = {https://dblp.org/rec/conf/aadebug/Herranz-NievaM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics