SMT Solvers for Rodin
| Title | SMT Solvers for Rodin |
| Publication Type | Conference Paper |
| Year of Publication | 2012 |
| Authors | Déharbe, D, Fontaine, P, Guyot, Y, Voisin, L |
| Editor | Derrick, J, Fitzgerald, JA, Gnesi, S, Khurshid, S, Leuschel, M, Reeves, S, Riccobene, E |
| Conference Name | 3rd Intl. Conf. Abstract State Machines, Alloy, B, VDM, and Z (ABZ 2012) |
| Publisher | Springer |
| Conference Location | Pisa, Italy |
Work Package:
WP2
