@InProceedings{Deharbe8,
  author =       "David D\'{e}harbe and Pascal Fontaine and Yoann Guyot
                 and Laurent Voisin",
  title =        "{SMT} solvers for {R}odin",
  year =         "2012",
  booktitle =    "ABZ",
  publisher =    "Springer",
  series =       lncs,
  pages =        "194--207",
  editor =       "John Derrick and John A. Fitzgerald and Stefania Gnesi
                 and Sarfraz Khurshid and Michael Leuschel and Steve
                 Reeves and Elvinia Riccobene",
  series =       lncs,
  volume =       "7316",
}