@article{Deharbe2014,
title = "Integrating \{SMT\} solvers in Rodin ",
journal = "Science of Computer Programming ",
year = "2014",
note = "In press, accepted manuscript",
issn = "0167-6423",
doi = "http://dx.doi.org/10.1016/j.scico.2014.04.012",
url = "http://www.sciencedirect.com/science/article/pii/S016764231400183X",
author = "David Déharbe and Pascal Fontaine and Yoann Guyot and Laurent Voisin",
keywords = "Formal methods",
keywords = "Event-B",
keywords = "SMT solving"
}