@incollection{
year={2010},
isbn={978-3-642-11810-4},
booktitle={Abstract State Machines, Alloy, B and Z},
volume={5977},
series={Lecture Notes in Computer Science},
editor={Frappier, Marc and Glässer, Uwe and Khurshid, Sarfraz and Laleau, Régine and Reeves, Steve},
doi={10.1007/978-3-642-11811-1_45},
title={Integrating SMT-Solvers in Z and B Tools},
url={http://dx.doi.org/10.1007/978-3-642-11811-1_45},
publisher={Springer Berlin Heidelberg},
author={Gurgel, AlessandroCavalcante and de Medeiros, ValérioGutemberg, Jr. and Oliveira, MarcelViniciusMedeiros and Déharbe, DavidBorisPaul},
pages={412-413},
language={English}
}