DBLP Record 'journals/jucs/ZuckPG03'

BibTeX

@article{DBLP:journals/jucs/ZuckPG03,
  author    = {Lenore D. Zuck and
               Amir Pnueli and
               Benjamin Goldberg},
  title     = {VOC: A Methodology for the Translation Validation of OptimizingCompilers},
  journal   = {J. UCS},
  volume    = {9},
  number    = {3},
  year      = {2003},
  pages     = {223-247},
  ee        = {http://www.jucs.org/jucs_9_3/voc_a_methodology_for},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}