@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}
}