Integrating SMT solvers in Rodin

TitleIntegrating SMT solvers in Rodin
Publication TypeJournal Article
Year of Publication2014
AuthorsDéharbe, D, Fontaine, P, Guyot, Y, Voisin, L
Secondary AuthorsDerrick, J, Fitzgerald, JA, Gnesi, S, Khurshid, S, Leuschel, M, Reeves, S, Riccobene, E
JournalScience of Computer Programming
Work Package: 
WP2