@conference {181, title = {SMT Solvers for Rodin}, booktitle = {3rd Intl. Conf. Abstract State Machines, Alloy, B, VDM, and Z (ABZ 2012)}, year = {2012}, publisher = {Springer}, organization = {Springer}, address = {Pisa, Italy}, 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} }