SMT Solvers for Rodin

TitleSMT Solvers for Rodin
Publication TypeConference Paper
Year of Publication2012
AuthorsDéharbe, D, Fontaine, P, Guyot, Y, Voisin, L
EditorDerrick, J, Fitzgerald, JA, Gnesi, S, Khurshid, S, Leuschel, M, Reeves, S, Riccobene, E
Conference Name3rd Intl. Conf. Abstract State Machines, Alloy, B, VDM, and Z (ABZ 2012)
PublisherSpringer
Conference LocationPisa, Italy
Work Package: 
WP2