SMT Solvers for Rodin (2012)

by D Déharbe, P Fontaine, Y Guyot, L Voisin
Venue:In 3rd Intl. Conf. Abstract State Machines, Alloy, B, VDM, and Z (ABZ 2012). LNCS 7316