Integrating SMT solvers in Rodin
| Title | Integrating SMT solvers in Rodin |
| Publication Type | Journal Article |
| Year of Publication | 2014 |
| Authors | Déharbe, D, Fontaine, P, Guyot, Y, Voisin, L |
| Secondary Authors | Derrick, J, Fitzgerald, JA, Gnesi, S, Khurshid, S, Leuschel, M, Reeves, S, Riccobene, E |
| Journal | Science of Computer Programming |
Work Package:
WP2
