@article {209, title = {Integrating SMT solvers in Rodin}, journal = {Science of Computer Programming}, year = {2014}, author = {David D{\'e}harbe and Pascal Fontaine and Yoann Guyot and Laurent Voisin}, editor = {John Derrick and John A. Fitzgerald and Stefania Gnesi and Sarfraz Khurshid and Michael Leuschel and Steve Reeves and Elvinia Riccobene} }