Accueil > FR > Actualités > Publications > Introduction to the Integration of SMT-Solvers in Rodin


Introduction to the Integration of SMT-Solvers in Rodin

D. Deharbe, P. Fontaine, Y. Guyot, F. Voisin. Introduction to the Integration of SMT-Solvers in Rodin. 1st International Workshop about Sets and Tools (SETS 2014), Toulouse (France), June 3, 2014.

website