KovacsV09'

@inproceedings{DBLP:conf/synasc/KovacsV09,
  author    = {Laura Kov{\'a}cs and
               Andrei Voronkov},
  title     = {Finding Loop Invariants for Programs over Arrays Using a
               Theorem Prover},
  booktitle = {SYNASC},
  year      = {2009},
  pages     = {10},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/SYNASC.2009.66},
  crossref  = {DBLP:conf/synasc/2009},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/synasc/2009,
  editor    = {Stephen M. Watt and
               Viorel Negru and
               Tetsuo Ida and
               Tudor Jebelean and
               Dana Petcu and
               Daniela Zaharie},
  title     = {11th International Symposium on Symbolic and Numeric Algorithms
               for Scientific Computing, SYNASC 2009, Timisoara, Romania,
               September 26-29, 2009},
  booktitle = {SYNASC},
  publisher = {IEEE Computer Society},
  year      = {2009},
  isbn      = {978-1-4244-5910-0},
  ee        = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5459479},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}