ZuckPGBFH05'

@article{DBLP:journals/fmsd/ZuckPGBFH05,
  author    = {Lenore D. Zuck and
               Amir Pnueli and
               Benjamin Goldberg and
               Clark W. Barrett and
               Yi Fang and
               Ying Hu},
  title     = {Translation and Run-Time Validation of Loop Transformations},
  journal   = {Formal Methods in System Design},
  volume    = {27},
  number    = {3},
  year      = {2005},
  pages     = {335-360},
  ee        = {http://dx.doi.org/10.1007/s10703-005-3402-z},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}