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.
Date: 3 juin 2014
Publication: Publications scientifiques ⊕
Expertises:
Ingénierie des systèmes IT complexes ⊕
A propos du projet: INOGRAMS ⊕
website
