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